On the logic of belief and propositional quantification

DOI10.1007/s10992-021-09595-8OpenAlexW3005753599MaRDI QIDQ2240550

Yifeng Ding

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

zbMATH Keywords

modal logicalgebraic semanticspropositional quantifiersdoxastic logicKripke incompletenesspseudo-monadic algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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