@inproceedings{DBLP:conf/tableaux/ArecesFHM17,
  author       = {Carlos Areces and
                  Raul Fervari and
                  Guillaume Hoffmann and
                  Mauricio Martel},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Undecidability of Relation-Changing Modal Logics},
  booktitle    = {Dynamic Logic. New Trends and Applications - First International Workshop,
                  {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10669},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_1},
  doi          = {10.1007/978-3-319-73579-5\_1},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/ArecesFHM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"PYeTRtYmxwXE54nv9","bibbaseid":"areces-fervari-hoffmann-martel-undecidabilityofrelationchangingmodallogics-2017","authorIDs":["Crbmah7zN8yvGFp8w"],"author_short":["Areces, C.","Fervari, R.","Hoffmann, G.","Martel, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Carlos"],"propositions":[],"lastnames":["Areces"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Guillaume"],"propositions":[],"lastnames":["Hoffmann"],"suffixes":[]},{"firstnames":["Mauricio"],"propositions":[],"lastnames":["Martel"],"suffixes":[]}],"editor":[{"firstnames":["Alexandre"],"propositions":[],"lastnames":["Madeira"],"suffixes":[]},{"firstnames":["Mario","R.","F."],"propositions":[],"lastnames":["Benevides"],"suffixes":[]}],"title":"Undecidability of Relation-Changing Modal Logics","booktitle":"Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10669","pages":"1–16","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-73579-5\\_1","doi":"10.1007/978-3-319-73579-5_1","timestamp":"Sun, 04 Aug 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/tableaux/ArecesFHM17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tableaux/ArecesFHM17,\n author = {Carlos Areces and\n Raul Fervari and\n Guillaume Hoffmann and\n Mauricio Martel},\n editor = {Alexandre Madeira and\n Mario R. F. Benevides},\n title = {Undecidability of Relation-Changing Modal Logics},\n booktitle = {Dynamic Logic. New Trends and Applications - First International Workshop,\n {DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10669},\n pages = {1--16},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-73579-5\\_1},\n doi = {10.1007/978-3-319-73579-5\\_1},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/tableaux/ArecesFHM17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Areces, C.","Fervari, R.","Hoffmann, G.","Martel, M."],"editor_short":["Madeira, A.","Benevides, M. R. F."],"key":"DBLP:conf/tableaux/ArecesFHM17","id":"DBLP:conf/tableaux/ArecesFHM17","bibbaseid":"areces-fervari-hoffmann-martel-undecidabilityofrelationchangingmodallogics-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-73579-5\\_1"},"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":"2020-12-24T22:35:16.707Z","downloads":0,"keywords":[],"search_terms":["undecidability","relation","changing","modal","logics","areces","fervari","hoffmann","martel"],"title":"Undecidability of Relation-Changing Modal Logics","year":2017,"dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge","KKtjZs868TWfeLxN2"]}