Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)

DOI10.1007/978-3-662-60292-8_12arXiv1803.10953MaRDI QIDQ6299727FDOQ6299727

Yanjing Wang, Yifeng Ding, Jixin Liu

Publication date: 29 March 2018

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 K_n lacks Craig Interpolation.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6299727)