scientific article; zbMATH DE number 64163

MaRDI QIDQ4013359zbMATH OpenFDO

Authors

Publication date 27 September 1992

zbMATH Keywords

axiomatizationdegrees of beliefsDempster-Shafer's theory of evidenceepistemic logicingorancelogical omnisciencelottery paradoxnonmonotonic approachpossible worldprobability distributionsresolution-based proof theorystatistical reasoning

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Other nonclassical logic (03B60)

Recommendations

• Towards an Epistemic Logic for Uncertain Agents
• A simple logic for reasoning about incomplete knowledge
• A First-order Logic for Reasoning about Knowledge and Probability
• Epistemic logic and logical omniscience: A survey
• Belief, provability, and logic programs

Cited in

(7)

• The independent choice logic for modelling multiple agents under uncertainty
• Probabilistic reasoning about epistemic action narratives
• A simple logic for reasoning about incomplete knowledge
• Contemporary epistemic logic and the Lockean thesis
• Epistemic probability logic simplified
• scientific article; zbMATH DE number 1453144 (Why is no real title available?)
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

This page was built for publication:

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