A belief-base semantics for epistemic logic is defined that derives possible worlds from belief bases, enabling a compact universal epistemic model with equivalence results and a complexity bound.
International Journal of Game Theory 14(1), pp
2 Pith papers cite this work. Polarity classification is still indexing.
fields
cs.GT 2years
2019 2verdicts
UNVERDICTED 2representative citing papers
Consistency among prior, posteriors, and information sets implies information sets form a partition almost surely, posteriors equal Bayes updates, and qualitative beliefs become fully introspective knowledge in standard settings.
citing papers explorer
-
Exploiting Belief Bases for Building Rich Epistemic Structures
A belief-base semantics for epistemic logic is defined that derives possible worlds from belief bases, enabling a compact universal epistemic model with equivalence results and a complexity bound.
-
On the Consistency among Prior, Posteriors, and Information Sets (Extended Abstract)
Consistency among prior, posteriors, and information sets implies information sets form a partition almost surely, posteriors equal Bayes updates, and qualitative beliefs become fully introspective knowledge in standard settings.