@inproceedings(arecroad99,
 author       = {C. Areces and P. Blackburn and M. Marx},
 year         = {1999},
 title        = {A Road-map on Complexity for Hybrid Logics},
 editor       = {J. Flum and Rodr{\'i}guez-Artalejo, M.},
 booktitle    = {Computer Science Logic},
 series       = {Lecture Notes in Computer Science},
 volume       = {1683},
 publisher    = {Springer},
 address      = {Madrid, Spain},
 pages        = {307--321},
 doi          = {10.1007/3-540-48168-0\_22},
)
@incollection(arec:hybr05b,
 author       = {C. Areces and B. ten Cate},
 year         = {2007},
 title        = {Hybrid {L}ogics},
 editor       = {P. Blackburn and F. Wolter and J. van Benthem},
 booktitle    = {Handbook of Modal Logic},
 publisher    = {Elsevier},
 pages        = {821--868},
 doi          = {10.1016/s1570-2464(07)80017-6},
)
@inproceedings(areces14wollic,
 author       = {C. Areces and H. van Ditmarsch and R. Fervari and F. Schwarzentruber},
 year         = {2014},
 title        = {Logics with {C}opy and {R}emove},
 booktitle    = {Logic, Language, Information, and Computation},
 series       = {Lecture Notes in Computer Science},
 volume       = {8652},
 publisher    = {Springer},
 pages        = {51--65},
 doi          = {10.1007/978-3-662-44145-9\_4},
)
@article(ADFS15,
 author       = {C. Areces and H. van Ditmarsch and R. Fervari and F. Schwarzentruber},
 year         = {2015},
 title        = {The {M}odal {L}ogic of {C}opy and {R}emove},
 journal      = {To Appear in Information and Computation, special issue of WoLLIC 2014},
)
@incollection(areces12,
 author       = {C. Areces and R. Fervari and G. Hoffmann},
 year         = {2012},
 title        = {Moving {A}rrows and {F}our {M}odel {C}hecking {R}esults},
 booktitle    = {Logic, Language, Information and Computation},
 series       = {Lecture Notes in Computer Science},
 volume       = {7456},
 publisher    = {Springer},
 pages        = {142--153},
 doi          = {10.1007/978-3-642-32621-9\_11},
)
@inproceedings(areces13,
 author       = {C. Areces and R. Fervari and G. Hoffmann},
 year         = {2013},
 title        = {Tableaux for {R}elation-{C}hanging {M}odal {L}ogics},
 booktitle    = {Frontiers of Combining Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {8152},
 pages        = {263--278},
 doi          = {10.1007/978-3-642-40885-4\_19},
)
@article(areces14igpl,
 author       = {C. Areces and R. Fervari and G. Hoffmann},
 year         = {2014},
 title        = {Swap {L}ogic},
 journal      = {Logic Journal of the IGPL},
 volume       = {22},
 number       = {2},
 pages        = {309--332},
 doi          = {10.1093/jigpal/jzt030},
)
@article(AFH15,
 author       = {C. Areces and R. Fervari and G. Hoffmann},
 year         = {2015},
 title        = {Relation-{C}hanging {M}odal {O}perators},
 journal      = {Logic Journal of the {IGPL}},
 volume       = {23},
 number       = {4},
 pages        = {601--627},
 doi          = {10.1093/jigpal/jzv020},
)
@inproceedings(vanbenthem05,
 author       = {J. van Benthem},
 year         = {2005},
 title        = {An {E}ssay on {S}abotage and {O}bstruction},
 booktitle    = {Mechanizing Mathematical Reasoning},
 pages        = {268--276},
 doi          = {10.1007/978-3-540-32254-2\_16},
)
@incollection(blackburn06,
 author       = {P. Blackburn and J. van Benthem},
 year         = {2007},
 title        = {Modal {L}ogic: {A} {S}emantic {P}erspective},
 booktitle    = {Handbook of Modal Logic},
 publisher    = {Elsevier},
 pages        = {1--84},
 doi          = {10.1016/s1570-2464(07)80004-8},
)
@book(blackburn01,
 author       = {P. Blackburn and M. de Rijke and Y. Venema},
 year         = {2001},
 title        = {Modal Logic},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107050884},
)
@article(blackburn95,
 author       = {P. Blackburn and J. Seligman},
 year         = {1995},
 title        = {Hybrid {L}anguages},
 journal      = {Journal of Logic, Language and Information},
 volume       = {4},
 number       = {3},
 pages        = {251--272},
 doi          = {10.1007/BF01049415},
)
@phdthesis(tencate_phd,
 author       = {B. ten Cate},
 year         = {2005},
 title        = {Model theory for extended modal languages},
 school       = {University of Amsterdam},
 note         = {ILLC Dissertation Series DS-2005-01},
)
@inproceedings(tencate2005complexity,
 author       = {B. ten Cate and M. Franceschet},
 year         = {2005},
 title        = {On the complexity of hybrid logics with binders},
 series       = {Lecture Notes in Computer Science},
 volume       = {3634},
 publisher    = {Springer Verlag},
 pages        = {339--354},
 doi          = {10.1007/11538363\_24},
)
@book(vanditmarsch07,
 author       = {H. van Ditmarsch and W. van der Hoek and B. Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 series       = {Synthese Library},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@phdthesis(fervari14phd,
 author       = {R. Fervari},
 year         = {2014},
 title        = {Relation-Changing Modal Logics},
 school       = {Universidad Nacional de C\'ordoba, Argentina},
)
@inproceedings(FranceschetRS03,
 author       = {M. Franceschet and M. de Rijke and B. Schlingloff},
 year         = {2003},
 title        = {Hybrid Logics on Linear Structures: Expressivity and Complexity},
 booktitle    = {{TIME-ICTL} 2003, Cairns, Queensland, Australia},
 pages        = {166--173},
 doi          = {10.1109/time.2003.1214893},
)
@inproceedings(GKVQ09,
 author       = {N. Gierasimczuk and L. Kurzen and Vel{\'a}zquez-Quesada, F. R.},
 year         = {2009},
 title        = {Learning and Teaching as a Game: A Sabotage Approach},
 editor       = {Xiangdong He and John F. Horty and Eric Pacuit},
 booktitle    = {LORI},
 series       = {Lecture Notes in Computer Science},
 volume       = {5834},
 publisher    = {Springer},
 pages        = {119--132},
 doi          = {10.1007/978-3-642-04893-7\_10},
)
@article(gorausin92,
 author       = {V. Goranko and S. Passy},
 year         = {1992},
 title        = {Using the Universal Modality: Gains and Questions},
 journal      = {Journal of Logic and Computation},
 volume       = {2},
 number       = {1},
 pages        = {5--30},
 doi          = {10.1093/logcom/2.1.5},
)
@article(Hoffmann2007,
 author       = {G. Hoffmann and C. Areces},
 year         = {2009},
 title        = {HTab: A Terminating Tableaux System for Hybrid Logic},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {231},
 pages        = {3--19},
 doi          = {10.1016/j.entcs.2009.02.026},
)
@inproceedings(loding03fsttcs,
 author       = {C. L\"oding and P. Rohde},
 year         = {2003},
 title        = {Model {C}hecking and {S}atisfiability for {S}abotage {M}odal {L}ogic},
 series       = {Lecture Notes in Computer Science},
 volume       = {2914},
 pages        = {302--313},
 doi          = {10.1007/978-3-540-24597-1\_26},
)
@mastersthesis(martel15,
 author       = {M. Martel},
 year         = {2015},
 title        = {On the {U}ndecidability of {R}elation-{C}hanging {L}ogics},
 school       = {Universidad Nacional de R\'io Cuarto, Argentina},
)
@phdthesis(rohde06phd,
 author       = {P. Rohde},
 year         = {2006},
 title        = {On games and logics over dynamically changing structures},
 school       = {RWTH Aachen},
)
@phdthesis(schneider07phd,
 author       = {T. Schneider},
 year         = {2007},
 title        = {The Complexity of Hybrid Logics over Restricted Frame Classes},
 school       = {University of Jena},
)
@phdthesis(Spaan93,
 author       = {E. Spaan},
 year         = {1993},
 title        = {Complexity of modal logics},
 school       = {ILLC, University of Amsterdam},
)