P. Blackburn & J. Seligman (1998):
What are hybrid languages?.
In: M. de Rijke, H. Wansing & M. Zakharyaschev: Advances in Modal Logic 1.
CSLI Publications,
pp. 41–62.
Laura Bozzelli & Ruggero Lanotte (2010):
Complexity and succinctness issues for linear-time hybrid logics.
Theoretical Computer Science 411(2),
pp. 454–469,
doi:10.1016/j.tcs.2009.08.009.
Krishnendu Chatterjee, Thomas A. Henzinger & Nir Piterman (2010):
Strategy logic.
Information and Computation 208(6),
pp. 677–693,
doi:10.1016/j.ic.2009.07.004.
R. Fagin, J.Y. Halpern, Y. Moses & M.Y. Vardi (1995):
Reasoning About Knowledge.
The MIT Press.
Massimo Franceschet & Maarten de Rijke (2006):
Model checking hybrid logics (with an application to semistructured data).
Journal of Applied Logic 4(3),
pp. 279–304,
doi:10.1016/j.jal.2005.06.010.
Massimo Franceschet, Maarten de Rijke & Bernd-Holger Schlingloff (2003):
Hybrid Logics on Linear Structures: Expressivity and Complexity.
In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),
pp. 166–173.
Available at http://doi.ieeecomputersociety.org/10.1109/TIME.2003.1214893.
Jens Ulrik Hansen (2011):
A Hybrid Public Announcement Logic with Distributed Knowledge.
Electronic Notes in Theoretical Computer Science 273,
pp. 33–50,
doi:10.1016/j.entcs.2011.06.011.
Xiaowei Huang & Ron van der Meyden (2014):
A Temporal Logic of Strategic Knowledge.
To appear KR'14, extended version available at http://www.cse.unsw.edu.au/~meyden/research/atl_obs.pdf.
Wojciech Jamroga & Thomas Ågotnes (2007):
Constructive knowledge: what agents can achieve under imperfect information.
Journal of Applied Non-Classical Logics 17(4),
pp. 423–475,
doi:10.3166/jancl.17.423-475.
Wojciech Jamroga & Wiebe van der Hoek (2004):
Agents that Know How to Play.
Fundamenta Informaticae 62,
pp. 1–35.
Fabio Mogavero, Aniello Murano & Moshe Y. Vardi (2010):
Reasoning About Strategies.
In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010),
pp. 133–144,
doi:10.4230/LIPIcs.FSTTCS.2010.133.
Sieuwert van Otterloo & Geert Jonker (2005):
On Epistemic Temporal Strategic Logic.
Electronic Notes in Theoretical Computer Science 126,
pp. 77–92,
doi:10.1016/j.entcs.2004.11.014.
O. Roy (2009):
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games.
Synthese 171(2),
pp. 291–320,
doi:10.1007/s11229-009-9644-3.
Pierre-Yves Schobbens (2004):
Alternating-time logic with imperfect recall.
Electronic Notes in Theoretical Computer Science 85(2),
pp. 82–93,
doi:10.1016/S1571-0661(05)82604-0.
Thomas Schwentick & Volker Weber (2007):
Bounded-Variable Fragments of Hybrid Logics.
In: Proc. STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science,
Springer LNCS 4393,
pp. 561–572,
doi:10.1007/978-3-540-70918-3_48.
eptcs@eptcs.org