Weakly Aggregative Modal Logic: Characterization and Interpolation

In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. pp. 153-167 (2019)
Download Edit this record How to cite View on PhilPapers
Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.
(categorize this paper)
PhilPapers/Archive ID
Upload history
Archival date: 2020-07-29
View other versions
Added to PP index

Total views
74 ( #43,620 of 56,903 )

Recent downloads (6 months)
52 ( #14,612 of 56,903 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.