@inproceedings{DBLP:conf/tableaux/FervariV17,
  author       = {Raul Fervari and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada},
  editor       = {Alexandre Madeira and
                  Mario R. F. Benevides},
  title        = {Dynamic Epistemic Logics of Introspection},
  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        = {82--97},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-73579-5\_6},
  doi          = {10.1007/978-3-319-73579-5\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/FervariV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hxc2GP389rCfTnBwx","bibbaseid":"fervari-velzquezquesada-dynamicepistemiclogicsofintrospection-2017","downloads":0,"creationDate":"2019-02-21T07:51:48.281Z","title":"Dynamic Epistemic Logics of Introspection","author_short":["Fervari, R.","Velázquez-Quesada, F. R."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Fernando","R."],"propositions":[],"lastnames":["Velázquez-Quesada"],"suffixes":[]}],"editor":[{"firstnames":["Alexandre"],"propositions":[],"lastnames":["Madeira"],"suffixes":[]},{"firstnames":["Mario","R.","F."],"propositions":[],"lastnames":["Benevides"],"suffixes":[]}],"title":"Dynamic Epistemic Logics of Introspection","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":"82–97","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-73579-5\\_6","doi":"10.1007/978-3-319-73579-5_6","timestamp":"Fri, 02 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/tableaux/FervariV17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tableaux/FervariV17,\n author = {Raul Fervari and\n Fernando R. Vel{\\'{a}}zquez{-}Quesada},\n editor = {Alexandre Madeira and\n Mario R. F. Benevides},\n title = {Dynamic Epistemic Logics of Introspection},\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 = {82--97},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-73579-5\\_6},\n doi = {10.1007/978-3-319-73579-5\\_6},\n timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/tableaux/FervariV17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fervari, R.","Velázquez-Quesada, F. R."],"editor_short":["Madeira, A.","Benevides, M. R. F."],"key":"DBLP:conf/tableaux/FervariV17","id":"DBLP:conf/tableaux/FervariV17","bibbaseid":"fervari-velzquezquesada-dynamicepistemiclogicsofintrospection-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-73579-5\\_6"},"metadata":{"authorlinks":{"fervari, r":"https://bibbase.org/show?bib=https://dblp.org/pid/117/9953.bib"}},"downloads":0},"search_terms":["dynamic","epistemic","logics","introspection","fervari","velázquez-quesada"],"keywords":[],"authorIDs":["Crbmah7zN8yvGFp8w"],"dataSources":["HJM7dqFRHjcZZmjge","KKtjZs868TWfeLxN2"]}