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.
Journal of Logic and Computation 2(1), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2019 2verdicts
UNVERDICTED 2representative citing papers
Introduces models with world-dependent evidence sets to distinguish actual evidence entailment from known entailment, with a sound and complete bi-modal axiomatization generalizing topological spaces.
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.
-
Uncertainty About Evidence
Introduces models with world-dependent evidence sets to distinguish actual evidence entailment from known entailment, with a sound and complete bi-modal axiomatization generalizing topological spaces.