Authors
Yanjing Wang
Peking University
Yifeng Ding
University of California, Berkeley
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.
Keywords Weakly Aggregative Modal Logic  Bisimulation  van Benthem-Rosen characterzation  Craig Interpolation
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

"Knowing Value" Logic as a Normal Modal Logic.Tao Gu & Yanjing Wang - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 362-381.

View all 12 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.
Some Connections Between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
A New Modal Lindström Theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.
Interpolation for Extended Modal Languages.Balder ten Cate - 2005 - Journal of Symbolic Logic 70 (1):223-234.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
On the Interpolation Property of Some Intuitionistic Modal Logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.

Analytics

Added to PP index
2020-07-29

Total views
140 ( #77,006 of 2,454,418 )

Recent downloads (6 months)
40 ( #20,022 of 2,454,418 )

How can I increase my downloads?

Downloads

My notes