Axiomatizability of propositionally quantified modal logics on relational frames

DOI10.1017/JSL.2022.79MaRDI QIDQ6545089

Peter Fritz

Publication date: 29 May 2024

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

zbMATH Keywords

complexitymodal logicdecidabilitypropositional quantifiersaxiomatizabilitysecond-order propositional modal logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal ontology and generalized quantifiers
• A simple embedding of T into double S5
• On a family of paradoxes
• The monadic theory of order
• Über Möglichkeiten im Relativkalkül.
• Higher-order contingentism. III: Expressive limitations
• Second-order propositional modal logic: expressiveness and completeness results
• Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
• The expressive power of second-order propositional modal logic
• Propositional quantification in bimodal S5
• On the logic of belief and propositional quantification
• Expressivity of second order propositional modal logic
• Remarks about axiomatizations of certain modal systems
• Some embedding theorems for modal logic
• Zum Lewisschen Aussagenkalkül.
• Modal logic
• A completeness theorem in modal logic
• Interpreting second-order logic in the monadic theory of order
• Monadic theory of order and topology in ZFC
• The extensions of the modal logic K5
• Propositional quantifiers in modal logic1
• Omnitemporal logic and converging time
• On the complexity of propositional quantification in intuitionistic logic
• On the Products of Linear Modal Logics
• Representability in second-order propositional poly-modal logic
• Diamonds are Forever
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• On modal logic with propositional quantifiers
• Decidability of Second-Order Theories and Automata on Infinite Trees
• The Logics Containing S 4.3
• Modal logics with linear alternative relations
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Symbolic 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)