R. Alur, T. A. Henziger & O. Kupferman (1997):
Alternating-Time Temporal Logic.
In: Proceedings of the 38th IEEE Symposium on Foundations of Computer Science,
pp. 100–109,
doi:10.1109/SFCS.1997.646098.
R. Alur, T. A. Henziger & O. Kupferman (2002):
Alternating-Time Temporal Logic.
Journal of the ACM 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
A. David (2013):
TATL: Implementation of ATL Tableau-Based Decision Procedure.
LNCS 8123,
pp. 97–103,
doi:10.1007/978-3-642-40537-2_10.
A. Degtyarev, M. Fisher & B. Konev (2006):
Monodic temporal resolution.
ACM Trans. Comput. Log 7(1),
pp. 108–150,
doi:10.1145/1119439.1119443.
V. Goranko (2001):
Coalition games and alternating temporal logics.
In: TARK '01.
Morgan Kaufmann,
San Francisco, CA, USA,
pp. 259–272.
Available at http://dl.acm.org/citation.cfm?id=1028128.1028157.
V. Goranko & D. Shkatov (2009):
Tableau-Based Decision Procedures for Logics of Strategic Ability in Multiagent Systems.
ACM Transactions on Computational Logic 11(1),
pp. 3:1–3:51,
doi:10.1145/1614431.1614434.
R. Goré, J. Thomson & F. Widmann (2011):
An Experimental Comparison of Theorem Provers for CTL.
In: C. Combi, M. Leucker & F.. Wolter: TIME 2011,Germany, September 12-14.
IEEE,
pp. 49–56,
doi:10.1109/TIME.2011.16.
H. Hansen (2004):
Tableau Games for Coalition Logic and Alternating-Time Temporal Logic – theory and implementation.
University of Amsterdam.
A. Herzig (2007):
Logics for Agency and Multi-Agent Systems.
Slides. ESSLLI. Available at http://www.staff.science.uu.nl/~broer110/ESSLLI07/.
U. Hustadt & R. A. Schmidt (2002):
Scientific Benchmarking with Temporal Logic Decision Procedures.
In: D. Fensel, F. Giunchiglia, D. McGuinness & M-A. Williams: KR'2002.
M. Kaufmann,
pp. 533–544.
C. Nalon, L. Zhang, C. Dixon & U. Hustadt (2013):
A resolution-based calculus for Coalition Logic (Extended Version).
Technical Report ULCS-13-004.
University of Liverpool,
Liverpool, UK.
Available at http://intranet.csc.liv.ac.uk/research/techreports/?id=ULCS-13-004.
C. Nalon, L. Zhang, C. Dixon & U. Hustadt (2014):
A resolution-based calculus for Coalition Logic.
Journal of Logic and Computation,
doi:10.1093/logcom/ext074.
To appear.
M. Pauly (2001):
Logic for Social Software.
University of Amsterdam.
Dissertation Series 2001-10.
M. Pauly (2002):
A Modal Logic for Coalitional Power in Games.
Journal of Logic and Computation 12(1),
pp. 149–166,
doi:10.1093/logcom/12.1.149.
J.A. Robinson (1965):
A Machine–Oriented Logic Based on the Resolution Principle.
Journal of the ACM 12(1),
pp. 23–41,
doi:10.1145/321250.321253.
D. Walther, C. Lutz, F. Wolter & M. Wooldridge (2006):
ATL Satisfiability is Indeed ExpTime-complete.
Journal of Logic and Computation 16(6),
pp. 765–787,
doi:10.1093/logcom/exl009.
eptcs@eptcs.org