Some formal semantics for epistemic modesty

DOI10.12775/LLP.2020.002MaRDI QIDQ5006835zbMATH OpenFDO

Authors Christopher Steinsvold

Publication date 17 August 2021

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

Full work available at URL https://doi.org/10.12775/LLP.2020.002

zbMATH Keywords

beliefbisimulation quantifiersderivativederived setformal epistemologyhumilityKD45modestytopology

Mathematics Subject Classification ID

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

Recommendations

• The topology of full and weak belief
• The topology of belief, belief revision and defeasible knowledge
• Knowledge means `all', belief means `most'
• A modesty proposal
• Inexact knowledge with introspection

Cites work

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

Cited in

(4)

• A defense of temperate epistemic transparency
• Inexact knowledge with introspection
• A modesty proposal
• KD45 with propositional quantifiers

This page was built for publication: Some formal semantics for epistemic modesty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5006835)