Neighborhood models and topology

Dynamic-epistemic logics have largely followed the paradigm of standard modal logics, i.e., relational structures such a s directed graphs with various accessibility relations. One currently emerging generalization changes this to the use of neighborhood models, with topological models as an important special case.


 

Source textbooks

 

Basic papers  

 

Historical source texts    
  • Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. In Logic, Rationality, and Interaction (LORI 2013), 27-40, Springer, 2013. Prepublication version available.
  • Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets. The Topology of Full and Weak Belief. In Proceedings of ELISIEM Workshop, 2014. Prepublication version available.

 

Further directions