Nonconservative extensions by propositional quantifiers and modal incompleteness

DOI10.1093/LOGCOM/EXAE043MaRDI QIDQ6909823zbMATH OpenFDO

Authors Peter Fritz

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE043

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A completeness theorem in modal logic
• A new version of an old modal incompleteness theorem
• A normal modal calculus between T and S4 without the finite model property
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• A warning about the choice of primitive operators in modal logic
• An axiomatization of the modal theory of the veiled recession frame
• An incomplete system of modal logic
• An incompleteness theorem in modal logic
• Atomless varieties
• Axiomatizability of propositionally quantified modal logics on relational frames
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Complete Proof System for QPTL
• Completeness of second-order propositional S4 and H in topological semantics
• Expressivity of second order propositional modal logic
• Higher-order metaphysics
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 2196589 (Why is no real title available?)
• scientific article; zbMATH DE number 5046360 (Why is no real title available?)
• Introduction to Boolean Algebras
• Modal incompleteness revisited
• Modal logic
• Modal Logic as Metaphysics
• Montague Type Semantics for Modal Logics with Propositional Quantifiers
• Neighborhood semantics for modal logic
• Normal monomodal logics can simulate all others
• On modal logic with propositional quantifiers
• On the Concept of Following Logically
• On the logic of belief and propositional quantification
• On the logics with propositional quantifiers extending \textsf{S5}\(\Pi\)
• On the semantic non-completeness of certain Lewis calculi
• One modal logic to rule them all?
• Propositional quantification in the topological semantics for S4
• Propositional quantifiers
• Propositional quantifiers in modal logic1
• Reduction of second‐order logic to modal logic
• Reduction of tense logic to modal logic II
• Reduction of tense logic to modal logic. I
• Representability in second-order propositional poly-modal logic
• Second-order propositional modal logic: expressiveness and completeness results
• Semantic analysis of tense logics
• Some general completeness results for propositionally quantified modal logics
• Symbolic logic.
• Syntactic aspects of modal incompleteness theorems
• The expressive power of second-order propositional modal logic
• The foundations of modality. From propositions to possible worlds
• Two simple incomplete modal logics

This page was built for publication: Nonconservative extensions by propositional quantifiers and modal incompleteness

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