The Impact of Including Model Update Operators in Modal Logics. Fervari, R. In Colinet, M., Katrenko, S., & Rendsvig, R. K., editors, Pristine Perspectives on Logic, Language, and Computation - ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers, volume 8607, of Lecture Notes in Computer Science, pages 91–108, 2013. Springer.
The Impact of Including Model Update Operators in Modal Logics [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/esslli/Fervari13,
  author    = {Raul Fervari},
  editor    = {Margot Colinet and
               Sophia Katrenko and
               Rasmus K. Rendsvig},
  title     = {The Impact of Including Model Update Operators in Modal Logics},
  booktitle = {Pristine Perspectives on Logic, Language, and Computation - {ESSLLI}
               2012 and {ESSLLI} 2013 Student Sessions. Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8607},
  pages     = {91--108},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-662-44116-9\_7},
  doi       = {10.1007/978-3-662-44116-9\_7},
  timestamp = {Wed, 25 Sep 2019 18:03:57 +0200},
  biburl    = {https://dblp.org/rec/conf/esslli/Fervari13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0