Kern-Isberner, Gabriele

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

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

This list was generated on Tue Dec 3 18:24:13 2024 CET.
Provide Feedback