Some Formal Semantics for Epistemic Modesty

DOI10.12775/LLP.2020.002zbMath1478.03029MaRDI QIDQ5006835

Christopher Steinsvold

Publication date: 17 August 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

derivativetopologyformal epistemologymodestybeliefbisimulation quantifiersderived setKD45humility

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
• A simple embedding of T into double S5
• Undefinability of propositional quantifiers in the modal system S4
• A topological approach to full belief
• A Grim semantics for logics of belief
• The algebra of topology
• Handbook of Spatial Logics
• μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Propositional quantifiers in modal logic1
• Representability in second-order propositional poly-modal logic
• On modal logic with propositional quantifiers
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Some theorems about the sentential calculi of Lewis and Heyting
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Some Formal Semantics for Epistemic Modesty