On modal logic with propositional quantifiers
From MaRDI portal
Publication:5576251
DOI10.2307/2271102zbMath0184.28101OpenAlexW4241831839MaRDI QIDQ5576251
Publication date: 1969
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271102
Related Items (23)
An admissible semantics for propositionally quantified relevant logics ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Uniform interpolation and propositional quantifiers in modal logics ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ An axiom system for basic hybrid logic with propositional quantifiers ⋮ Logic talk ⋮ Modal logics and local quantifiers: a zoo in the elementary hierarchy ⋮ Quantified multimodal logics in simple type theory ⋮ First-order modal theories ⋮ Second-order propositional modal logic and monadic alternation hierarchies ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ On the logic of belief and propositional quantification ⋮ Reprint of: Reasoning about knowledge of unawareness revisited ⋮ Formal reasoning with rough sets in multiple-source approximation systems ⋮ Pitts' quantifiers are not topological quantification ⋮ Unnamed Item ⋮ Propositional quantification in bimodal S5 ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Reasoning about knowledge of unawareness ⋮ Some Formal Semantics for Epistemic Modesty ⋮ Operators in the paradox of the knower ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity ⋮ Interpolation for first order S5
This page was built for publication: On modal logic with propositional quantifiers
