Exploiting Belief Bases for Building Rich Epistemic Structures

Emiliano Lorini

We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke-style semantics for epistemic logic in which the notions of poss…