Undefinability of propositional quantifiers in the modal system S4
From MaRDI portal
Publication:1902553
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
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