On the logic of belief and propositional quantification
From MaRDI portal
Publication:2240550
DOI10.1007/s10992-021-09595-8OpenAlexW3005753599MaRDI QIDQ2240550
Publication date: 4 November 2021
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-021-09595-8
modal logicalgebraic semanticspropositional quantifiersdoxastic logicKripke incompletenesspseudo-monadic algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Second-order propositional modal logic and monadic alternation hierarchies
- A simple embedding of T into double S5
- Model theory.
- Second-order propositional modal logic: expressiveness and completeness results
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
- Undefinability of propositional quantifiers in the modal system S4
- The expressive power of second-order propositional modal logic
- On the logic of conscious belief
- The topology of full and weak belief
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- A topological approach to full belief
- Expressivity of second order propositional modal logic
- Propositional quantifiers
- PROPOSITIONAL CONTINGENTISM
- A completeness theorem in modal logic
- Introduction to Boolean Algebras
- Not all σ-Complete Boolean Algebras are Quotients of Complete Boolean Algebras
- Propositional quantifiers in modal logic1
- On the complexity of propositional quantification in intuitionistic logic
- Representability in second-order propositional poly-modal logic
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- LOGICS FOR PROPOSITIONAL CONTINGENTISM
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- On modal logic with propositional quantifiers
- Montague Type Semantics for Modal Logics with Propositional Quantifiers
- MacNeille completions and canonical extensions
This page was built for publication: On the logic of belief and propositional quantification