The relationship between knowledge, belief, and certainty

DOI10.1007/BF01531062zbMath0865.03016arXiv1304.1508OpenAlexW2035353139MaRDI QIDQ1354089

Joseph Y. Halpern

Publication date: 13 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.1508

zbMATH Keywords

knowledgecertaintymodal logicsaxiomatizationbeliefMiller's principleprobability assignment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Probability and inductive logic (03B48)

Related Items

Specifying and reasoning about uncertain agents, A Modal Logic of Knowledge, Belief, and Estimation, Unnamed Item, Probabilistic Logic over Paths, Quantified beliefs and believed quantities, Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem, Probabilities and reasoning about possibilities, Some first-order probability logics, Logic and Probabilistic Update, Belief as defeasible knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of a functional approach to knowledge representation
• There is a probabilistic semantics for every extension of classical sentence logic
• Probabilistic logic
• Belief, awareness, and limited reasoning
• A logic for reasoning about probabilities
• Knowledge and common knowledge in a distributed environment
• Generality in artificial intelligence
• Geometric ergodicity in a class of denumerable Markov chains