The Modal Logic of Copy and Remove

Areces, C., van Ditmarsch, H., Fervari, R., and Schwarzentruber, F.. The Modal Logic of Copy and Remove. Information and Computation, 2015. In print

Download: [pdf] 

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 in dynamic epistemic logic decomposes in copy and remove operations, when we consider action models with Boolean pre-conditions and no post-condition. We also show that copy and remove operators with paths of length 1 can be expressed by action models with post-conditions. We investigate the expressive power of the logic with copy and remove operations, together with the complexity of the satisfiability problem of some of its syntactic fragments.

BibTeX: (download)

@ARTICLE{arec:moda15b,
  author = {Areces, C. and van Ditmarsch, H. and Fervari, R. and Schwarzentruber,
	F.},
  title = {The Modal Logic of Copy and Remove},
  journal = {Information and Computation},
  year = {2015},
  note = {In print},
  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 in dynamic epistemic logic decomposes in copy and
	remove operations, when we consider action models with Boolean pre-conditions
	and no post-condition. We also show that copy and remove operators
	with paths of length 1 can be expressed by action models with post-conditions.
	We investigate the expressive power of the logic with copy and remove
	operations, together with the complexity of the satisfiability problem
	of some of its syntactic fragments.},
  owner = {areces},
  timestamp = {2015.09.01}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49