Tableaux for Non-normal Public Announcement Logic. Ma, M., Sano, K., Schwarzentruber, F., & Velázquez-Quesada, F. R. In Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pages 132–145, 2015. Paper doi bibtex @inproceedings{DBLP:conf/icla/MaSSV15,
author = {Minghui Ma and
Katsuhiko Sano and
Fran{\c{c}}ois Schwarzentruber and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {Tableaux for Non-normal Public Announcement Logic},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
pages = {132--145},
year = {2015},
crossref = {DBLP:conf/icla/2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_9},
doi = {10.1007/978-3-662-45824-2\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/icla/MaSSV15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"h89mcW8LZRCSBvsEd","bibbaseid":"ma-sano-schwarzentruber-velzquezquesada-tableauxfornonnormalpublicannouncementlogic-2015","downloads":0,"creationDate":"2016-10-13T11:52:51.058Z","title":"Tableaux for Non-normal Public Announcement Logic","author_short":["Ma, M.","Sano, K.","Schwarzentruber, F.","Velázquez-Quesada, F. R."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/86/3728.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Minghui"],"propositions":[],"lastnames":["Ma"],"suffixes":[]},{"firstnames":["Katsuhiko"],"propositions":[],"lastnames":["Sano"],"suffixes":[]},{"firstnames":["François"],"propositions":[],"lastnames":["Schwarzentruber"],"suffixes":[]},{"firstnames":["Fernando","R."],"propositions":[],"lastnames":["Velázquez-Quesada"],"suffixes":[]}],"title":"Tableaux for Non-normal Public Announcement Logic","booktitle":"Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings","pages":"132–145","year":"2015","crossref":"DBLP:conf/icla/2015","url":"https://doi.org/10.1007/978-3-662-45824-2_9","doi":"10.1007/978-3-662-45824-2_9","timestamp":"Fri, 02 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/icla/MaSSV15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icla/MaSSV15,\n author = {Minghui Ma and\n Katsuhiko Sano and\n Fran{\\c{c}}ois Schwarzentruber and\n Fernando R. Vel{\\'{a}}zquez{-}Quesada},\n title = {Tableaux for Non-normal Public Announcement Logic},\n booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,\n India, January 8-10, 2015. Proceedings},\n pages = {132--145},\n year = {2015},\n crossref = {DBLP:conf/icla/2015},\n url = {https://doi.org/10.1007/978-3-662-45824-2\\_9},\n doi = {10.1007/978-3-662-45824-2\\_9},\n timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/icla/MaSSV15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ma, M.","Sano, K.","Schwarzentruber, F.","Velázquez-Quesada, F. R."],"key":"DBLP:conf/icla/MaSSV15","id":"DBLP:conf/icla/MaSSV15","bibbaseid":"ma-sano-schwarzentruber-velzquezquesada-tableauxfornonnormalpublicannouncementlogic-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-662-45824-2_9"},"downloads":0},"search_terms":["tableaux","non","normal","public","announcement","logic","ma","sano","schwarzentruber","velázquez-quesada"],"keywords":[],"authorIDs":[],"dataSources":["KDQuukxFWotbrcxLq"]}