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

Bibliographic details

Authors

H. H. Hansen, Wolfgang Poiger

Publication year

2026

Publication type

Článek v odborném periodiku

Periodical

Logical Methods in Computer Science

Projects

• Biography of Fake News with a Touch of AI: Dangerous Phenomenon through the Prism of Modern Human Sciences

Bibliographic citation

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