@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},
  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}
}

{"_id":"cn6pn5PvTQ7Pc72Z2","bibbaseid":"fervari-theimpactofincludingmodelupdateoperatorsinmodallogics-2013","authorIDs":["Crbmah7zN8yvGFp8w"],"author_short":["Fervari, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]}],"editor":[{"firstnames":["Margot"],"propositions":[],"lastnames":["Colinet"],"suffixes":[]},{"firstnames":["Sophia"],"propositions":[],"lastnames":["Katrenko"],"suffixes":[]},{"firstnames":["Rasmus","K."],"propositions":[],"lastnames":["Rendsvig"],"suffixes":[]}],"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","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","bibtex":"@inproceedings{DBLP:conf/esslli/Fervari13,\n author = {Raul Fervari},\n editor = {Margot Colinet and\n Sophia Katrenko and\n Rasmus K. Rendsvig},\n title = {The Impact of Including Model Update Operators in Modal Logics},\n booktitle = {Pristine Perspectives on Logic, Language, and Computation - {ESSLLI}\n 2012 and {ESSLLI} 2013 Student Sessions. Selected Papers},\n series = {Lecture Notes in Computer Science},\n pages = {91--108},\n publisher = {Springer},\n year = {2013},\n url = {https://doi.org/10.1007/978-3-662-44116-9\\_7},\n doi = {10.1007/978-3-662-44116-9\\_7},\n timestamp = {Thu, 14 Oct 2021 09:51:18 +0200},\n biburl = {https://dblp.org/rec/conf/esslli/Fervari13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fervari, R."],"editor_short":["Colinet, M.","Katrenko, S.","Rendsvig, R. K."],"key":"DBLP:conf/esslli/Fervari13","id":"DBLP:conf/esslli/Fervari13","bibbaseid":"fervari-theimpactofincludingmodelupdateoperatorsinmodallogics-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-662-44116-9\\_7"},"metadata":{"authorlinks":{"fervari, r":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/117/9953.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","creationDate":"2021-03-11T01:47:07.515Z","downloads":0,"keywords":[],"search_terms":["impact","including","model","update","operators","modal","logics","fervari"],"title":"The Impact of Including Model Update Operators in Modal Logics","year":2013,"dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge","KKtjZs868TWfeLxN2"]}