E. W. Beth, Semantic entailment and formal derivability, 1955.

P. Blackburn, Y. Maarten-de-rijke, and . Venema, Modal Logic, 2001.
DOI : 10.1017/CBO9781107050884

URL : https://hal.archives-ouvertes.fr/inria-00100502

D. M. Gabbay, R. Hähnle, and J. Posegga, Handbook of Tableau Methods, 1999.

E. Grädel, W. Thomas, and T. Wilke, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, 2001.
DOI : 10.1007/3-540-36387-4

O. Kupferman, Y. Moshe, P. Vardi, and . Wolper, 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

J. Plaza, Logics of public communications, Synthese, vol.34, issue.2, pp.165-179, 2007.
DOI : 10.1007/s11229-007-9168-7

M. Wiebe-van-der-hoek and . Wooldridge, 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