@inproceedings{DBLP:conf/dali/CassanoFAC20,
	author = {Valentin Cassano and Raul Fervari and Carlos Areces and Pablo F. Castro},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/dali/CassanoFAC20.bib},
	booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop, DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers},
	doi = {10.1007/978-3-030-65840-3\_7},
	pages = {103--119},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	timestamp = {Wed, 21 Apr 2021 08:53:38 +0200},
	title = {Default Modal Systems as Algebraic Updates},
	url = {https://doi.org/10.1007/978-3-030-65840-3\_7},
	volume = {12569},
	year = {2020},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-030-65840-3%5C_7}}

{"_id":"fz33kPf3Gk4YaL3ZC","bibbaseid":"cassano-fervari-areces-castro-defaultmodalsystemsasalgebraicupdates-2020","authorIDs":["Crbmah7zN8yvGFp8w"],"author_short":["Cassano, V.","Fervari, R.","Areces, C.","Castro, P. F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Valentin"],"propositions":[],"lastnames":["Cassano"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Carlos"],"propositions":[],"lastnames":["Areces"],"suffixes":[]},{"firstnames":["Pablo","F."],"propositions":[],"lastnames":["Castro"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/dali/CassanoFAC20.bib","booktitle":"Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers","doi":"10.1007/978-3-030-65840-3_7","pages":"103–119","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Wed, 21 Apr 2021 08:53:38 +0200","title":"Default Modal Systems as Algebraic Updates","url":"https://doi.org/10.1007/978-3-030-65840-3\\_7","volume":"12569","year":"2020","bdsk-url-1":"https://doi.org/10.1007/978-3-030-65840-3%5C_7","bibtex":"@inproceedings{DBLP:conf/dali/CassanoFAC20,\n\tauthor = {Valentin Cassano and Raul Fervari and Carlos Areces and Pablo F. Castro},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/dali/CassanoFAC20.bib},\n\tbooktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop, DaL{\\'{\\i}} 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers},\n\tdoi = {10.1007/978-3-030-65840-3\\_7},\n\tpages = {103--119},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Wed, 21 Apr 2021 08:53:38 +0200},\n\ttitle = {Default Modal Systems as Algebraic Updates},\n\turl = {https://doi.org/10.1007/978-3-030-65840-3\\_7},\n\tvolume = {12569},\n\tyear = {2020},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-030-65840-3%5C_7}}\n\n","author_short":["Cassano, V.","Fervari, R.","Areces, C.","Castro, P. F."],"key":"DBLP:conf/dali/CassanoFAC20","id":"DBLP:conf/dali/CassanoFAC20","bibbaseid":"cassano-fervari-areces-castro-defaultmodalsystemsasalgebraicupdates-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-65840-3\\_7"},"metadata":{"authorlinks":{"fervari, r":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/117/9953.bib"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2021-03-10T21:58:23.783Z","downloads":2,"keywords":[],"search_terms":["default","modal","systems","algebraic","updates","cassano","fervari","areces","castro"],"title":"Default Modal Systems as Algebraic Updates","year":2020,"dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge","CctimS4AgKgzGybH5","KKtjZs868TWfeLxN2"]}