Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)
Logic in Computer Science
2019-05-31 v3 Artificial Intelligence
Logic
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.
Cite
@article{arxiv.1803.10953,
title = {Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)},
author = {Jixin Liu and Yanjing Wang and Yifeng Ding},
journal= {arXiv preprint arXiv:1803.10953},
year = {2019}
}