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, 255:243–261, 2017. 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 = {2017},
  volume = {255},
  pages = {243--261},
  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 Mon Dec 04, 2017 20:59:00