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    = {Thu, 14 Oct 2021 09:51:18 +0200},
  biburl       = {https://dblp.org/rec/conf/esslli/Fervari13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0