Abstract
In this paper we discuss ideas about dynamic modal logics. Modal logics are appropriate to describe properties of relational structures, and several operators have been already introduced to describe dynamic properties of such structures. However, we are interested in those operators which can modify models during the evaluation of a formula. First, we introduce different dynamic operators to clarify which of them are interesting for us. Then we focus on operators which modify the accessibility relation of relational models, and we show some expressivity results.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Areces, C., Fervari, R., Hoffmann, G.: Moving arrows and four model checking results. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 142–153. Springer, Heidelberg (2012)
Areces, C., Fervari, R., Hoffmann, G.: Tableaux for relation-changing modal logics. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 263–278. Springer, Heidelberg (2013)
Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic Journal of the IGPL 22(2), 309–332 (2014)
Areces, C., Figueira, D., Figueira, S., Mera, S.: Expressive power and decidability for memory logics. In: Hodges, W., de Queiroz, R. (eds.) Logic, Language, Information and Computation. LNCS (LNAI), vol. 5110, pp. 56–68. Springer, Heidelberg (2008)
Areces, C., Figueira, D., Figueira, S., Mera, S.: The expressive power of memory logics. The Review of Symbolic Logic 4(2), 290–318 (2011)
Areces, C., Figueira, D., Gorín, D., Mera, S.: Tableaux and model checking for memory logics. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS (LNAI), vol. 5607, pp. 47–61. Springer, Heidelberg (2009)
Aucher, G., Balbiani, P., Fariñas Del Cerro, L., Herzig, A.: Global and local graph modifiers. Electronic Notes in Theoretical Computer Science (ENTCS), Special issue Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007) 231, 293–307 (2009)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Comp. Scie, vol. 53. Cambridge University Press (2001)
Blackburn, P., van Benthem, J.: Modal logic: A semantic perspective. In: Handbook of Modal Logic. Elsevier, North-Holland (2006)
Enderton, H.: A mathematical introduction to logic. Academic Press (1972)
Fervari, R.: Relation-Changing Modal Logics. PhD thesis, Facultad de Matemática Astronomía y Física, Universidad Nacional de Córdoba, Córdoba, Argentina (March 2014)
Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194–211 (1979)
French, T., van der Hoek, W., Iliev, P., Kooi, B.: On the succinctness of some modal logics. Artificial Intelligence 197, 56–85 (2013)
Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Vol. II. Synthese Library, vol. 165, pp. 497–604. D. Reidel Publishing Co., Dordrecht (1984); Extensions of classical logic
Kooi, B., Renne, B.: Arrow update logic. Review of Symbolic Logic 4(4), 536–559 (2011)
Ladner, R.: The computational complexity of provability in systems of modal propositional logic. SIAM J. Comput. 6(3), 467–480 (1977)
Löding, C., Rohde, P.: Solving the sabotage game is PSPACE-hard. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 531–540. Springer, Heidelberg (2003)
Lutz, C.: Complexity and succinctness of public announcement logic. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) AAMAS, pp. 137–143. ACM (2006)
Mera, S.: Modal Memory Logics. PhD thesis, Univ. de Buenos Aires and UFR STMIA - Ecole Doctorale IAEM Lorraine Dép. de Form. Doct. en Informat. (2009)
Plaza, J.: Logics of public communications. Synthese 158(2), 165–179 (2007)
Rohde, P.: On games and logics over dynamically changing structures. PhD thesis, RWTH Aachen (2006)
van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268–276. Springer, Heidelberg (2005)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Kluwer (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fervari, R. (2014). The Impact of Including Model Update Operators in Modal Logics. In: Colinet, M., Katrenko, S., Rendsvig, R.K. (eds) Pristine Perspectives on Logic, Language, and Computation. ESSLLI ESSLLI 2013 2012. Lecture Notes in Computer Science, vol 8607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44116-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-44116-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44115-2
Online ISBN: 978-3-662-44116-9
eBook Packages: Computer ScienceComputer Science (R0)