Undefinability of propositional quantifiers in the modal system S4

DOI10.1007/BF01061237zbMath0831.03008MaRDI QIDQ1902553

Silvio Ghilardi, Marek W. Zawadowski

Publication date: 7 February 1996

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01061237

zbMATH Keywords

propositional quantifiers; modal logic S4

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

18C10: Theories (e.g., algebraic theories), structure, and semantics

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)

Related Items

Some Formal Semantics for Epistemic Modesty, Pitts' quantifiers are not topological quantification, Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, Uniform Lyndon interpolation property in propositional modal logics, Uniform interpolation and propositional quantifiers in modal logics, Interpolation in non-classical logics, Knowledge forgetting: properties and applications, Propositional quantification in the topological semantics for \(\mathbf S4\), Uniform interpolation and sequent calculi in modal logic, Uniform interpolation and coherence, Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes), Combination of uniform interpolants via Beth definability, Combined covers and Beth definability, Uniform Lyndon interpolation for basic non-normal modal logics, Uniform interpolation via nested sequents, On the logic of belief and propositional quantification, Forgetting in multi-agent modal logics, Uniform interpolation and the existence of sequent calculi, UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, Positive Formulas in Intuitionistic and Minimal Logic, The Logical Difference Problem for Description Logic Terminologies, Formal Properties of Modularisation, Mathematical Logic for Life Science Ontologies, μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★

Cites Work

• Unnamed Item
• Unnamed Item
• An algebraic theory of normal forms
• Logics containing K4. Part II
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Logics containing K4. Part I
• A sheaf representation and duality for finitely presented Heyting algebras