Undefinability of propositional quantifiers in the modal system S4

DOI10.1007/BF01061237zbMath0831.03008OpenAlexW2071786581MaRDI 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 quantifiersmodal logic S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theories (e.g., algebraic theories), structure, and semantics (18C10) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (25)

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

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

This page was built for publication: Undefinability of propositional quantifiers in the modal system S4