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 Mon May 6 13:29:01 2024 CEST.
Provide Feedback