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. Springer. pp. 153-167 (2019)
  Copy   BIBTEX

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.

Author Profiles

Yanjing Wang
Peking University
Yifeng Ding
Peking University

Analytics

Added to PP
2020-07-29

Downloads
399 (#38,567)

6 months
86 (#42,915)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?