Hybrid logics, Handbook of Modal Logic, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00000307
The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proc. TARK'98, pp.43-56, 1998. ,
DOI : 10.1007/978-3-319-20451-2_38
An internal semantics for modal logic, Proceedings of the seventeenth annual ACM symposium on Theory of computing , STOC '85, pp.305-315, 1985. ,
DOI : 10.1145/22145.22179
Expressivity and completeness for public update logics via reduction axioms, Journal of Applied Non-Classical Logics, vol.1, issue.2, pp.231-254, 2007. ,
DOI : 10.1017/CBO9780511569852
Foundations of Software Technology and Theoretical Computer Science, chapter Model Checking and Satisfiability for Sabotage Modal Logic, Number 2914 in LNCS, pp.302-313, 2003. ,
Logics of public communications, Proc. 4th Int. Symposium on Methodologies for Intelligent Systems, pp.201-216, 1989. ,
DOI : 10.1007/s11229-007-9168-7
Reasoning about Dynamic Policies, Proc. FOSSACS, 2004. ,
DOI : 10.1007/978-3-540-24727-2_32
Changing modalities, Journal of Logic and Computation, vol.14, issue.2, pp.253-278, 2004. ,
An Essay on Sabotage and Obstruction, Mechanizing Mathematical Reasoning ? Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, number 2605 in LNCS, 2005. ,
DOI : 10.1007/978-3-540-32254-2_16
???One is a lonely number???: logic and communication, Logic Colloquium'02, pp.96-129, 2002. ,
DOI : 10.1017/9781316755723.006
Dynamic logic of preference upgrade, Journal of Applied Non-Classical Logics, vol.6, issue.3, 2007. ,
DOI : 10.1007/BF00248150
Dynamic epistemic logic with assignment, Proc. AAMAS'05, pp.141-148, 2005. ,
Why is modal logic so robustly decidable?, Descriptive Complexity and Finite Models, pp.149-184, 1997. ,