Authors
Yifeng Ding
University of California, Berkeley
Yanjing Wang
Peking University
Abstract
Weakly Aggregative Modal Logic ) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. \ has interesting applications on epistemic logic, deontic logic, and the logic of belief. In this paper, we study some basic model theoretical aspects of \. Specifically, we first give a van Benthem–Rosen characterization theorem of \ 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 \ system \ lacks Craig interpolation. Finally, by model theoretical techniques, we show that an extension of \ does have Craig interpolation, as an example of amending the interpolation problem of \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-022-09366-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 46 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Completeness of First Degree Weakly Aggregative Modal Logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Errata: A Solution to the Completeness Problem for Weakly Aggregative Modal Logic.[author unknown] - 1998 - Journal of Symbolic Logic 63 (4).
Modal Aggregation and the Theory of Paraconsistent Filters.Peter Apostoli - 1996 - Mathematical Logic Quarterly 42 (1):175-190.
Modal Logics That Need Very Large Frames.Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (2):141-173.
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Paraconsistent Logic as Model Building.Ricardo Sousa Silvestre - 2018 - South American Journal of Logic 1 (4):195-217.
Some Connections Between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Arrow Logic and Infinite Counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.
A Remark on Weakly Compact Cardinals.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (3):397-402.

Analytics

Added to PP index
2022-05-05

Total views
4 ( #1,278,379 of 2,507,018 )

Recent downloads (6 months)
4 ( #170,105 of 2,507,018 )

How can I increase my downloads?

Downloads

My notes