, DEL-sequents for progression, Journal of Applied Non-Classical Logics, vol.36, issue.6, 2011.
DOI : 10.3166/jancl.21.289-321
URL : https://hal.archives-ouvertes.fr/hal-00674150
, Tableaux for Public Announcement Logic, Journal of Logic and Computation, vol.20, issue.1, pp.55-76, 2010.
DOI : 10.1093/logcom/exn060
URL : http://logcom.oxfordjournals.org/cgi/content/short/20/1/55
, Algebra and Sequent Calculus for Epistemic Actions, Proceedings of Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'04), pp.60-78, 2004.
DOI : 10.1016/j.entcs.2004.11.012
, Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004.
DOI : 10.1023/B:SYNT.0000024912.56773.5e
, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK98), pp.43-56, 1998.
DOI : 10.1007/978-3-319-20451-2_38
, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, 1999.
DOI : 10.1007/978-3-319-20451-2_38
, The convenience of tilings, Complexity, Logic, and Recursion Theory, pp.331-363, 1997.
, KE tableaux for public anouncement logic, Proceedings of Formal Approaches to Multi-Agent Systems Workshop (FAMAS 07), 2007.
, LoTREC: Logical Tableaux Research Engineering Companion, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp.318-322, 2005.
DOI : 10.1007/11554554_25
, Terminating Tableaux for Dynamic Epistemic Logics, Electronic Notes in Theoretical Computer Science, vol.262, pp.141-156, 2010.
DOI : 10.1016/j.entcs.2010.04.011
URL : http://doi.org/10.1016/j.entcs.2010.04.011
, Complexity and succinctness of public announcement logic, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.137-143, 2006.
DOI : 10.1145/1160633.1160657
, Dynamic Epistemic Logic, volume 337 of Synthese library, 2007.