C. Areces, P. Blackburn & M. Marx (1999):
A Road-map on Complexity for Hybrid Logics.
In: J. Flum & M. Rodríguez-Artalejo: Computer Science Logic,
Lecture Notes in Computer Science 1683.
Springer,
Madrid, Spain,
pp. 307–321,
doi:10.1007/3-540-48168-0_22.
C. Areces & B. ten Cate (2007):
Hybrid Logics.
In: P. Blackburn, F. Wolter & J. van Benthem: Handbook of Modal Logic.
Elsevier,
pp. 821–868,
doi:10.1016/s1570-2464(07)80017-6.
C. Areces, H. van Ditmarsch, R. Fervari & F. Schwarzentruber (2014):
Logics with Copy and Remove.
In: Logic, Language, Information, and Computation,
Lecture Notes in Computer Science 8652.
Springer,
pp. 51–65,
doi:10.1007/978-3-662-44145-9_4.
C. Areces, H. van Ditmarsch, R. Fervari & F. Schwarzentruber (2015):
The Modal Logic of Copy and Remove.
To Appear in Information and Computation, special issue of WoLLIC 2014.
C. Areces, R. Fervari & G. Hoffmann (2012):
Moving Arrows and Four Model Checking Results.
In: Logic, Language, Information and Computation,
Lecture Notes in Computer Science 7456.
Springer,
pp. 142–153,
doi:10.1007/978-3-642-32621-9_11.
C. Areces, R. Fervari & G. Hoffmann (2013):
Tableaux for Relation-Changing Modal Logics.
In: Frontiers of Combining Systems,
Lecture Notes in Computer Science 8152,
pp. 263–278,
doi:10.1007/978-3-642-40885-4_19.
C. Areces, R. Fervari & G. Hoffmann (2014):
Swap Logic.
Logic Journal of the IGPL 22(2),
pp. 309–332,
doi:10.1093/jigpal/jzt030.
C. Areces, R. Fervari & G. Hoffmann (2015):
Relation-Changing Modal Operators.
Logic Journal of the IGPL 23(4),
pp. 601–627,
doi:10.1093/jigpal/jzv020.
J. van Benthem (2005):
An Essay on Sabotage and Obstruction.
In: Mechanizing Mathematical Reasoning,
pp. 268–276,
doi:10.1007/978-3-540-32254-2_16.
P. Blackburn & J. van Benthem (2007):
Modal Logic: A Semantic Perspective.
In: Handbook of Modal Logic.
Elsevier,
pp. 1–84,
doi:10.1016/s1570-2464(07)80004-8.
P. Blackburn, M. de Rijke & Y. Venema (2001):
Modal Logic.
Cambridge Tracts in Theoretical Computer Science.
Cambridge University Press,
doi:10.1017/CBO9781107050884.
P. Blackburn & J. Seligman (1995):
Hybrid Languages.
Journal of Logic, Language and Information 4(3),
pp. 251–272,
doi:10.1007/BF01049415.
B. ten Cate (2005):
Model theory for extended modal languages.
University of Amsterdam.
ILLC Dissertation Series DS-2005-01.
B. ten Cate & M. Franceschet (2005):
On the complexity of hybrid logics with binders.
Lecture Notes in Computer Science 3634.
Springer Verlag,
pp. 339–354,
doi:10.1007/11538363_24.
H. van Ditmarsch, W. van der Hoek & B. Kooi (2007):
Dynamic Epistemic Logic.
Synthese Library.
Springer,
doi:10.1007/978-1-4020-5839-4.
R. Fervari (2014):
Relation-Changing Modal Logics.
Universidad Nacional de Córdoba, Argentina.
M. Franceschet, M. de Rijke & B. Schlingloff (2003):
Hybrid Logics on Linear Structures: Expressivity and Complexity.
In: TIME-ICTL 2003, Cairns, Queensland, Australia,
pp. 166–173,
doi:10.1109/time.2003.1214893.
N. Gierasimczuk, L. Kurzen & F. R. Velázquez-Quesada (2009):
Learning and Teaching as a Game: A Sabotage Approach.
In: Xiangdong He, John F. Horty & Eric Pacuit: LORI,
Lecture Notes in Computer Science 5834.
Springer,
pp. 119–132,
doi:10.1007/978-3-642-04893-7_10.
V. Goranko & S. Passy (1992):
Using the Universal Modality: Gains and Questions.
Journal of Logic and Computation 2(1),
pp. 5–30,
doi:10.1093/logcom/2.1.5.
G. Hoffmann & C. Areces (2009):
HTab: A Terminating Tableaux System for Hybrid Logic.
Electronic Notes in Theoretical Computer Science 231,
pp. 3–19,
doi:10.1016/j.entcs.2009.02.026.
C. Löding & P. Rohde (2003):
Model Checking and Satisfiability for Sabotage Modal Logic.
Lecture Notes in Computer Science 2914,
pp. 302–313,
doi:10.1007/978-3-540-24597-1_26.
M. Martel (2015):
On the Undecidability of Relation-Changing Logics.
Universidad Nacional de Río Cuarto, Argentina.
P. Rohde (2006):
On games and logics over dynamically changing structures.
RWTH Aachen.
T. Schneider (2007):
The Complexity of Hybrid Logics over Restricted Frame Classes.
University of Jena.
E. Spaan (1993):
Complexity of modal logics.
ILLC, University of Amsterdam.