Hansen, H. H., & Poiger, W. (2025). Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility.
Chicago Style (17th ed.) CitationHansen, Helle Hvid, and Wolfgang Poiger. Many-valued Coalgebraic Dynamic Logics: Safety and Strong Completeness via Reducibility. 2025.
MLA (9th ed.) CitationHansen, Helle Hvid, and Wolfgang Poiger. Many-valued Coalgebraic Dynamic Logics: Safety and Strong Completeness via Reducibility. 2025.
Warning: These citations may not always be 100% accurate.