On modal logic with propositional quantifiers
From MaRDI portal
Cited in
(27)- Reasoning about knowledge of unawareness
- First-order modal theories
- Operators in the paradox of the knower
- Propositional quantification in the topological semantics for S4
- Second-order propositional modal logic: expressiveness and completeness results
- Quantified multimodal logics in simple type theory
- Propositional quantification in bimodal S5
- On the logic of belief and propositional quantification
- Reprint of: Reasoning about knowledge of unawareness revisited
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
- Interpolation for first order S5
- Second-order propositional modal logic and monadic alternation hierarchies
- Some formal semantics for epistemic modesty
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- Pitts' quantifiers are not topological quantification
- An axiom system for basic hybrid logic with propositional quantifiers
- Logic talk
- Modal logics and local quantifiers: a zoo in the elementary hierarchy
- Axiomatizability of propositionally quantified modal logics on relational frames
- Expressive power of propositionally quantified modal logics on variable domain structures with accessibility
- Nonconservative extensions by propositional quantifiers and modal incompleteness
- Prior's ideal language
- An admissible semantics for propositionally quantified relevant logics
- Uniform interpolation and propositional quantifiers in modal logics
- Formal reasoning with rough sets in multiple-source approximation systems
This page was built for publication: On modal logic with propositional quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5576251)
