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