Axiomatizability of propositionally quantified modal logics on relational frames

DOI10.1017/JSL.2022.79MaRDI QIDQ6545089zbMATH OpenFDO

Authors Peter Fritz

Publication date 29 May 2024

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/JSL.2022.79

zbMATH Keywords

axiomatizabilitycomplexitydecidabilitymodal logicpropositional quantifierssecond-order propositional modal logic

Mathematics Subject Classification ID

Higher-order logic (03B16) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Cites work

• A completeness theorem in modal logic
• A simple embedding of T into double S5
• Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Diamonds are forever
• Expressivity of second order propositional modal logic
• Handbook of modal logic
• Higher-order contingentism. III: Expressive limitations
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3728252 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3399227 (Why is no real title available?)
• Interpreting second-order logic in the monadic theory of order
• Modal logic
• Modal logics with linear alternative relations
• Modal ontology and generalized quantifiers
• Monadic theory of order and topology in ZFC
• Omnitemporal logic and converging time
• On a family of paradoxes
• On modal logic with propositional quantifiers
• On the complexity of propositional quantification in intuitionistic logic
• On the logic of belief and propositional quantification
• On the Products of Linear Modal Logics
• Propositional quantification in bimodal S5
• Propositional quantifiers in modal logic1
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• Remarks about axiomatizations of certain modal systems
• Representability in second-order propositional poly-modal logic
• Second-order propositional modal logic: expressiveness and completeness results
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Some embedding theorems for modal logic
• Symbolic logic.
• The expressive power of second-order propositional modal logic
• The extensions of the modal logic K5
• The Logics Containing S 4.3
• The monadic theory of order
• Zum Lewisschen Aussagenkalkül.
• Über Möglichkeiten im Relativkalkül.

Cited in

(2)

• Nonconservative extensions by propositional quantifiers and modal incompleteness
• A modal two-variable fragment of second-order propositional modal logic

This page was built for publication: Axiomatizability of propositionally quantified modal logics on relational frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545089)