TitleModel Theoretical Aspects of Weakly Aggregative Modal Logic
AuthorsLiu, Jixin
Ding, Yifeng
Wang, Yanjing
AffiliationSichuan Univ, Dept Philosophy, Chengdu, Peoples R China
Peking Univ, Dept Philosophy, Beijing, Peoples R China
KeywordsCOMPLETENESS
SEMANTICS
Issue DateMay-2022
PublisherJOURNAL OF LOGIC LANGUAGE AND INFORMATION
AbstractWeakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has interesting applications on epistemic logic, deontic logic, and the logic of belief. In this paper, we study some basic model theoretical aspects of WAML. Specifically, we first give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation. Then, in contrast to many well known normal or non-normal modal logics, we show that each basic WAML system K-n lacks Craig interpolation. Finally, by model theoretical techniques, we show that an extension of K-2 does have Craig interpolation, as an example of amending the interpolation problem of WAML.
URIhttp://hdl.handle.net/20.500.11897/643003
ISSN0925-8531
DOI10.1007/s10849-022-09366-x
IndexedA&HCI
SCI(E)
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.