References

  1. 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.
  2. 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.
  3. 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.
  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.
  5. 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.
  6. 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.
  7. C. Areces, R. Fervari & G. Hoffmann (2014): Swap Logic. Logic Journal of the IGPL 22(2), pp. 309–332, doi:10.1093/jigpal/jzt030.
  8. 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.
  9. 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.
  10. 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.
  11. P. Blackburn, M. de Rijke & Y. Venema (2001): Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, doi:10.1017/CBO9781107050884.
  12. P. Blackburn & J. Seligman (1995): Hybrid Languages. Journal of Logic, Language and Information 4(3), pp. 251–272, doi:10.1007/BF01049415.
  13. B. ten Cate (2005): Model theory for extended modal languages. University of Amsterdam. ILLC Dissertation Series DS-2005-01.
  14. 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.
  15. H. van Ditmarsch, W. van der Hoek & B. Kooi (2007): Dynamic Epistemic Logic. Synthese Library. Springer, doi:10.1007/978-1-4020-5839-4.
  16. R. Fervari (2014): Relation-Changing Modal Logics. Universidad Nacional de Córdoba, Argentina.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. M. Martel (2015): On the Undecidability of Relation-Changing Logics. Universidad Nacional de Río Cuarto, Argentina.
  23. P. Rohde (2006): On games and logics over dynamically changing structures. RWTH Aachen.
  24. T. Schneider (2007): The Complexity of Hybrid Logics over Restricted Frame Classes. University of Jena.
  25. E. Spaan (1993): Complexity of modal logics. ILLC, University of Amsterdam.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org