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. 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
{"_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","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","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 volume = {8607},\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?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"]}