Modal Logics and Topological Semantics for Hybrid Systems, Mathematical Sciences Institute, 1997. ,
Topology and Modality: The Topological Interpretation of First-Order Modal Logic. The Review of Symbolic Logic, pp.146-166, 2008. ,
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
Topological Reasoning and the Logic of Knowledge, Annals of Pure and Applied Logic, vol.78, pp.1-3, 1996. ,
Applications of Paraconsistency in Data and Knowledge Bases, Synthese, vol.125, issue.12, pp.121-132, 2000. ,
Dynamic Topological Logics Over Spaces with Continuous Functions, Proceedings of Advances in Modal Logic. King's, 2006. ,
Arrow Update Logic. The Review of Symbolic Logic, pp.536-559, 2011. ,
Dynamic Topological Logic, Annals of Pure and Applied Logic, vol.131, issue.1-3, pp.133-58, 2005. ,
The Dialogical Approach to Paraconsistency, Synthese, vol.125, pp.201-231, 2000. ,
URL : https://hal.archives-ouvertes.fr/halshs-00713282
The information in intuitionistic logic, Synthese, vol.128, issue.2, pp.251-270, 2009. ,
DOI : 10.1007/s11229-008-9408-5
Modal Logics of Space, Handbook of Spatial Logics, 2007. ,
DOI : 10.1007/978-1-4020-5587-4_5
Game Solution, Epistemic Dynamics and Fixed-Point Logics, Fundamenta Infomaticae, vol.100, pp.1-4, 2010. ,
Modal Logics for Product Topologies, Studia Logica, vol.84, issue.3, pp.375-99, 2006. ,