Abstract
We propose a logic with the dynamic modal operators copy and remove. The copy operator replicates a given model, and the remove operator removes paths in a given model. We show that the product update by an action model (with Boolean pre-conditions) in dynamic epistemic logic decomposes in copy and remove operations. We also show that copy and remove operators (of path of length 1) can be expressed by action models. We investigate the complexity of the satisfiability problem of syntactic fragments of the logic with copy and remove operations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
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.: Swap logic. Logic Journal of the IGPL 22(2), 309–332 (2014)
Aucher, G., Schwarzentruber, F.: On the complexity of dynamic epistemic logic. In: Proceedings of TARK 2013, Chennai, India (January 2013)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Gilboa, I. (ed.) TARK 1998, Evanstin, IL, USA, pp. 43–56. Morgan Kaufmann (July 1998)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
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)
Goré, R.: Tableau methods for modal and temporal logics. In: Handbook of Tableau Methods, pp. 297–396 (1999)
Kooi, B., Renne, B.: Arrow update logic. Review of Symbolic Logic 4(4), 536–559 (2011)
Kooi, B., Renne, B.: Generalized arrow update logic. In: Apt, K. (ed.) TARK, pp. 205–211. ACM (2011)
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., French, T.: Simulation and information: Quantifying over epistemic events. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS, vol. 5605, pp. 51–65. Springer, Heidelberg (2009)
van Ditmarsch, H., Herzig, A., De Lima, T.: Public announcements, public assignments and the complexity of their logic. Journal of Applied Non-Classical Logics 22(3), 249–273 (2012)
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
Areces, C., van Ditmarsch, H., Fervari, R., Schwarzentruber, F. (2014). Logics with Copy and Remove. In: Kohlenbach, U., Barceló, P., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2014. Lecture Notes in Computer Science, vol 8652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44145-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-44145-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44144-2
Online ISBN: 978-3-662-44145-9
eBook Packages: Computer ScienceComputer Science (R0)