Journal of Philosophical Logic 35 (2):209-223 (2006)
| Abstract |
We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order logic and SOPML.
|
| Keywords | bounded fragment expressivity modal logic propositional quantifiers |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s10992-005-9012-9 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,337
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- jstor.org (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Admissible Sets and Structures: An Approach to Definability Theory.Jon Barwise - 1975 - Berlin, Heidelberg, and New York: Springer Verlag.
Modal Logic and Classical Logic.Johan van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
Quantifying Over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of $\forall P$ and $\exists P$.Philip Kremer - 1993 - Journal of Symbolic Logic 58 (1):334-349.
View all 13 references / Add more references
Citations of this work BETA
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
Second-Order Propositional Modal Logic and Monadic Alternation Hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.
A Modal Perspective on Monadic Second-Order Alternation Hierarchies.Antti Kuusisto - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 231-247.
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.
View all 7 citations / Add more citations
Similar books and articles
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
First-Order Expressivity for S5-Models: Modal Vs. Two-Sorted Languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Toward Model-Theoretic Modal Logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Analytics
Added to PP index
2009-01-28
Total views
98 ( #119,504 of 2,507,897 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,897 )
2009-01-28
Total views
98 ( #119,504 of 2,507,897 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,897 )
How can I increase my downloads?
Downloads
