 | Up a level |
Fernández-Duque, David; McLean, Brett; Zenger, Lukas (2023). A Family of Decidable Bi-intuitionistic Modal Logics. In: Marquis, Pierre; Son, Tran Cao; Kern-Isberner, Gabriele (eds.) 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes, Greece. September 2-8, 2023. 10.24963/kr.2023/26
Cintula, Petr; Metcalfe, George; Tokuda, Naomi (2022). Algebraic semantics for one-variable lattice-valued logics. In: Fernández-Duque, David; Palmigiano, Alessandra; Pinchinat, Sophie (eds.) Proceedings of AiML 2022. Advances in Modal Logic: Vol. 14 (pp. 237-257). College Publications
Rooduijn, Jan; Zenger, Lukas (2022). An analytic proof system for common knowledge logic over S5. In: Fernández-Duque, David; Palmigiano, Alessandra; Pinchinat, Sophie (eds.) Proceedings of AiML 2022. Advances in Modal Logic: Vol. 14 (pp. 659-680). College Publications
