Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility

Bibliografické údaje

Autoři

• Wolfgang Poiger, Ph.D.

Rok vydání

2026

Typ publikace

Článek v odborném periodiku

Periodikum

Logical Methods in Computer Science

Projekty

• Biografie dezinformace s přívlastkem AI: Rizikový fenomén prizmatem moderních věd o člověku

Bibliografická citace

HANSEN, H. H., POIGER, Wolfgang. Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility. Logical Methods in Computer Science. 2026, Submitted December 2025. ISSN 1860-5974. E-ISSN 1860-5974.

ID

644153