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
Abstract
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
LIUWAM
Upload history
Archival date: 2020-07-29
View other versions
Added to PP index
2020-07-29

Total views
13 ( #51,228 of 51,292 )

Recent downloads (6 months)
13 ( #35,457 of 51,292 )

How can I increase my downloads?

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