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