The Expressive Power of Second-Order Propositional Modal Logic

&
Notre Dame Journal of Formal Logic 37 (1):35-43 (1996)
  Copy   BIBTEX

Abstract

It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040067314

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.Thomas Eiter & Georg Gottlob - 1998 - Journal of Symbolic Logic 63 (1):73-82.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.Gennady Shtakser - 2023 - Journal of Logic, Language and Information 32 (3):511-538.
Expressive completeness of modal logic on binary ramified frames.Bernhard Heinemann - 1996 - Journal of Applied Non-Classical Logics 6 (4):347-367.
Second-order propositional modal logic and monadic alternation hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.

Analytics

Added to PP
2010-08-24

Downloads
35 (#444,651)

6 months
11 (#340,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Logics for propositional contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
One Modal Logic to Rule Them All?Wesley H. Holliday & Tadeusz Litak - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic, Vol. 12. College Publications. pp. 367-386.

View all 14 citations / Add more citations

References found in this work

Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
Propositional Quantifiers in Modal Logic.Kit Fine - 1970 - Journal of Symbolic Logic 38 (2):329-329.
ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
Model theory for modal logic—part II The elimination of de re modality.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):277 - 306.
Monadic theory of order and topology in ZFC.Yuri Gurevich & Saharon Shelah - 1982 - Annals of Mathematical Logic 23 (2-3):179-198.

View all 6 references / Add more references