Propositional quantifiers in modal logic1
From MaRDI portal
Cited in
(77)- Reasoning about knowledge of unawareness
- Hybrid logic meets IF modal logic
- The unaxiomatizability of a quantified intensional logic
- Set theory as modal logic
- First-order modal theories
- Classical second-order intensional logic with maximal propositions
- A second-order relevance logic with modality
- Operators in the paradox of the knower
- Non-axiomatizable second order intuitionistic propositional logic
- Propositional quantification in the topological semantics for S4
- Semantic analysis of orthologic
- The modal logic of agreement and noncontingency
- Second-order propositional modal logic: expressiveness and completeness results
- Implicit, explicit and speculative knowledge
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
- The expressive power of second-order propositional modal logic
- Quantified multimodal logics in simple type theory
- Propositional quantification in bimodal S5
- Did Descartes make a diagonal argument?
- Higher-order logic and disquotational truth
- Relative necessity and propositional quantification
- Counterlogicals as counterconventionals
- Elusive propositions
- On the logic of belief and propositional quantification
- Reprint of: Reasoning about knowledge of unawareness revisited
- Semantics for knowledge and change of awareness
- 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
- Relative necessity reformulated
- Comments to `Logics of public communications'
- Expressivity of second order propositional modal logic
- A unified semantics for a family of modal logics with propositional constants
- The complexity of one-agent refinement modal logic
- An application of model checking games to abstract argumentation
- Beyond knowing that: a new generation of epistemic logics
- `Knowable' as `known after an announcement'
- Modal ontology and generalized quantifiers
- Propositional quantification in logics of contingency
- Second-order propositional modal logic and monadic alternation hierarchies
- PLQP \& Company: decidable logics for quantum algorithms
- Refinement modal logic
- On 2nd order intuitionistic propositional calculus with full comprehension
- Abstract argument games via modal logic
- Zolin and Pizzi: defining necessity from noncontingency
- Completeness of second-order propositional S4 and H in topological semantics
- Some formal semantics for epistemic modesty
- Standard state space models of unawareness (extended abstract)
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- Logics for propositional contingentism
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
- A simple embedding of T into double S5
- OPERANDS AND INSTANCES
- On Composing Finite Forests with Modal Logics
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
- Pitts' quantifiers are not topological quantification
- To be announced
- An axiom system for basic hybrid logic with propositional quantifiers
- THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
- Logic talk
- Modal logics and local quantifiers: a zoo in the elementary hierarchy
- INTERLEAVING LOGIC AND COUNTING
- Axiomatizability of propositionally quantified modal logics on relational frames
- Modal logics with non-rigid propositional designators
- The logic of hyperlogic. Part B: Extensions and restrictions
- Some remarks on Popper's qualitative criterion of verisimilitude
- Expressive power of propositionally quantified modal logics on variable domain structures with accessibility
- Nonconservative extensions by propositional quantifiers and modal incompleteness
- Modern faces of filtration
- A modal two-variable fragment of second-order propositional modal logic
- Prior's ideal language
- Individual concepts: their logic, philosophy, and some of their uses
- The logic of logical necessity
- A complete tableau system for basic hybrid logic with propositional quantification
- The complexity of one-agent refinement modal logic
- An essay in combinatory dynamic logic
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- Uniform interpolation and propositional quantifiers in modal logics
This page was built for publication: Propositional quantifiers in modal logic1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4055622)
