Rooduijn, Jan

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

Book Section

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

This list was generated on Fri May 3 17:51:02 2024 CEST.
Provide Feedback