Erkenntnis 85 (2):455-465 (2020)
Authors |
|
Abstract |
Propositional quantifiers are added to a propositional modal language with two modal operators. The resulting language is interpreted over so-called products of Kripke frames whose accessibility relations are equivalence relations, letting propositional quantifiers range over the powerset of the set of worlds of the frame. It is first shown that full second-order logic can be recursively embedded in the resulting logic, which entails that the two logics are recursively isomorphic. The embedding is then extended to all sublogics containing the logic of so-called fusions of frames with equivalence relations. This generalizes a result due to Antonelli and Thomason, who construct such an embedding for the logic of such fusions.
|
Keywords | propositional quantifiers bimodal logic S5 |
Categories | (categorize this paper) |
Reprint years | 2020 |
ISBN(s) | |
DOI | 10.1007/s10670-018-0035-3 |
Options |
![]() ![]() ![]() |
Download options
References found in this work BETA
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Two-Dimensional Modal Logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
View all 14 references / Add more references
Citations of this work BETA
Similar books and articles
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
Logics for Propositional Contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
A Simple Embedding of T Into Double S.Steven Kuhn - 2004 - Notre Dame Journal of Formal Logic 45 (1):13-18.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Defining Relevant Implication in a Propositionally Quantified S4.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Second Order Propositional Operators Over Cantor Space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
The Decidability of Dependency in Intuitionistic Propositional Logi.Dick de Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Operators Defined By Propositional Quantification And Their Interpretation Over Cantor Space.Tomasz Polacik - 1993 - Reports on Mathematical Logic:67-79.
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: Springer. pp. 240-256.
Analytics
Added to PP index
2018-07-27
Total views
69 ( #144,449 of 2,410,434 )
Recent downloads (6 months)
7 ( #101,554 of 2,410,434 )
2018-07-27
Total views
69 ( #144,449 of 2,410,434 )
Recent downloads (6 months)
7 ( #101,554 of 2,410,434 )
How can I increase my downloads?
Downloads