The study of epistemic logic, which formalises the reasoning about knowledge and belief, has been enriched by recent incorporations of topological semantics. This interdisciplinary approach leverages ...
This is a preview. Log in through your library . Abstract In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback