Semantic entailment and formal derivability, 1955. ,
Modal Logic, 2001. ,
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502
Handbook of Tableau Methods, 1999. ,
Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, 2001. ,
DOI : 10.1007/3-540-36387-4
An automata-theoretic approach to branching-time model checking, Journal of the ACM, vol.47, issue.2, pp.312-360, 2000. ,
DOI : 10.1145/333979.333987
Logics of public communications, Synthese, vol.34, issue.2, pp.165-179, 2007. ,
DOI : 10.1007/s11229-007-9168-7
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications, Studia Logica, vol.75, issue.1, pp.125-157, 2003. ,
DOI : 10.1023/A:1026185103185