A. , S. Davoren, J. M. Nerode, and A. , Modal Logics and Topological Semantics for Hybrid Systems, Mathematical Sciences Institute, 1997.

A. , S. , &. Kishida, and K. , Topology and Modality: The Topological Interpretation of First-Order Modal Logic. The Review of Symbolic Logic, pp.146-166, 2008.

G. Bezhanishvili, L. Esakia, &. Gabelaia, and D. , Some Results on Modal Axiomatization and Definability for Topological Spaces, Studia Logica, vol.122, issue.2, pp.325-55, 2005.
DOI : 10.1007/s11225-005-4648-6

D. , A. , M. , L. S. Parikh, and R. , Topological Reasoning and the Logic of Knowledge, Annals of Pure and Applied Logic, vol.78, pp.1-3, 1996.

G. , J. , &. Subrahmanian, and V. S. , Applications of Paraconsistency in Data and Knowledge Bases, Synthese, vol.125, issue.12, pp.121-132, 2000.

K. , B. Kontchakov, R. Wolter, F. Zakharyaschev, and M. , Dynamic Topological Logics Over Spaces with Continuous Functions, Proceedings of Advances in Modal Logic. King's, 2006.

K. , B. , &. Renne, and B. , Arrow Update Logic. The Review of Symbolic Logic, pp.536-559, 2011.

K. , P. , &. Mints, and G. , Dynamic Topological Logic, Annals of Pure and Applied Logic, vol.131, issue.1-3, pp.133-58, 2005.

R. , S. , &. Carnielli, and W. A. , The Dialogical Approach to Paraconsistency, Synthese, vol.125, pp.201-231, 2000.
URL : https://hal.archives-ouvertes.fr/halshs-00713282

J. Van-benthem, The information in intuitionistic logic, Synthese, vol.128, issue.2, pp.251-270, 2009.
DOI : 10.1007/s11229-008-9408-5

V. Benthem, J. , &. Bezhanishvili, G. Aiello, M. Pratt-hartman et al., Modal Logics of Space, Handbook of Spatial Logics, 2007.
DOI : 10.1007/978-1-4020-5587-4_5

V. Benthem, J. , &. Gheerbrant, and A. , Game Solution, Epistemic Dynamics and Fixed-Point Logics, Fundamenta Infomaticae, vol.100, pp.1-4, 2010.

V. Benthem, J. Bezhanishvili, C. Guram, B. Ten, &. Sarenac et al., Modal Logics for Product Topologies, Studia Logica, vol.84, issue.3, pp.375-99, 2006.