Logics with Copy and Remove

Areces, C., van Ditmarsch, H., Fervari, R., and Schwarzentruber, F.. Logics with Copy and Remove. In Kohlenbach, U., Barceló, P., and de Queiroz, R., editors, Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Lecture Notes in Computer Science, pp. 51–65, Springer, Valparaíso, Chile, September 2014.

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 (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.

BibTeX: (download)

@INCOLLECTION{arec:logi14,
  author = {Areces, C. and van Ditmarsch, H. and Fervari, R. and Schwarzentruber,
	F.},
  title = {Logics with Copy and Remove},
  booktitle = {Proceedings of the 21st Workshop on Logic, Language, Information
	and Computation (WoLLIC'14)},
  publisher = {Springer},
  year = {2014},
  editor = {Kohlenbach, U. and Barceló, P. and de Queiroz, R.},
  volume = {8652},
  series = {Lecture Notes in Computer Science},
  pages = {51--65},
  address = {Valparaíso, Chile},
  month = {September},
  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.},
  owner = {areces},
  timestamp = {2014.06.10}
}

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