@inproceedings{DBLP:conf/dali/CassanoFAC20,
  author       = {Valentin Cassano and
                  Raul Fervari and
                  Carlos Areces and
                  Pablo F. Castro},
  editor       = {Manuel A. Martins and
                  Igor Sedl{\'{a}}r},
  title        = {Default Modal Systems as Algebraic Updates},
  booktitle    = {Dynamic Logic. New Trends and Applications - Third International Workshop,
                  DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12569},
  pages        = {103--119},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65840-3\_7},
  doi          = {10.1007/978-3-030-65840-3\_7},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dali/CassanoFAC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_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":[]}],"editor":[{"firstnames":["Manuel","A."],"propositions":[],"lastnames":["Martins"],"suffixes":[]},{"firstnames":["Igor"],"propositions":[],"lastnames":["Sedlár"],"suffixes":[]}],"title":"Default Modal Systems as Algebraic Updates","booktitle":"Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"12569","pages":"103–119","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-65840-3\\_7","doi":"10.1007/978-3-030-65840-3_7","timestamp":"Sun, 04 Aug 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/dali/CassanoFAC20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dali/CassanoFAC20,\n author = {Valentin Cassano and\n Raul Fervari and\n Carlos Areces and\n Pablo F. Castro},\n editor = {Manuel A. Martins and\n Igor Sedl{\\'{a}}r},\n title = {Default Modal Systems as Algebraic Updates},\n booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop,\n DaL{\\'{\\i}} 2020, Prague, Czech Republic, October 9-10, 2020, Revised\n Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {12569},\n pages = {103--119},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-65840-3\\_7},\n doi = {10.1007/978-3-030-65840-3\\_7},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/dali/CassanoFAC20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cassano, V.","Fervari, R.","Areces, C.","Castro, P. F."],"editor_short":["Martins, M. A.","Sedlár, I."],"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?bib=https://dblp.org/pid/117/9953.bib"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.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"]}