Weakly Aggregative Modal Logic: Characterization and Interpolation

Abstract Weakly Aggregative Modal Logic ( \(\textsf {WAML}\) ) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. \(\textsf {WAML}\) has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of \(\textsf {WAML}\) in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of \(\textsf {WAML}\) based on an intuitive notion of bisimulation and show that each basic \(\textsf {WAML}\) system \(\mathbb {K}_n\) lacks Craig Interpolation.

Authors

• Jixin Liu
• Yanjing Wang 0001
• Yifeng Ding

Keywords

No keywords are indexed for this paper.