@book{DBLP:books/daglib/0032750,
  author    = {Olivier Gasquet and
               Andreas Herzig and
               Bilal Said and
               Fran{\c{c}}ois Schwarzentruber},
  title     = {Kripke's Worlds - An Introduction to Modal Logics via Tableaux},
  series    = {Studies in Universal Logic},
  year      = {2014},
  publisher = {Birkh{\"{a}}user},
  url       = {http://dx.doi.org/10.1007/978-3-7643-8504-0},
  doi       = {10.1007/978-3-7643-8504-0},
  isbn      = {978-3-7643-8503-3},
  timestamp = {Mon, 22 Sep 2014 18:13:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/0032750},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"YoT6JqdSeqCHdSdZW","bibbaseid":"gasquet-herzig-said-schwarzentruber-kripkesworldsanintroductiontomodallogicsviatableaux-2014","downloads":0,"creationDate":"2018-09-29T02:57:20.343Z","title":"Kripke's Worlds - An Introduction to Modal Logics via Tableaux","author_short":["Gasquet, O.","Herzig, A.","Said, B.","Schwarzentruber, F."],"year":2014,"bibtype":"book","biburl":"https://raw.githubusercontent.com/dlmacedo/test-site2/master/deeplearning.bib","bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Olivier"],"propositions":[],"lastnames":["Gasquet"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Herzig"],"suffixes":[]},{"firstnames":["Bilal"],"propositions":[],"lastnames":["Said"],"suffixes":[]},{"firstnames":["François"],"propositions":[],"lastnames":["Schwarzentruber"],"suffixes":[]}],"title":"Kripke's Worlds - An Introduction to Modal Logics via Tableaux","series":"Studies in Universal Logic","year":"2014","publisher":"Birkhäuser","url":"http://dx.doi.org/10.1007/978-3-7643-8504-0","doi":"10.1007/978-3-7643-8504-0","isbn":"978-3-7643-8503-3","timestamp":"Mon, 22 Sep 2014 18:13:59 +0200","biburl":"http://dblp.uni-trier.de/rec/bib/books/daglib/0032750","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@book{DBLP:books/daglib/0032750,\r\n author = {Olivier Gasquet and\r\n Andreas Herzig and\r\n Bilal Said and\r\n Fran{\\c{c}}ois Schwarzentruber},\r\n title = {Kripke's Worlds - An Introduction to Modal Logics via Tableaux},\r\n series = {Studies in Universal Logic},\r\n year = {2014},\r\n publisher = {Birkh{\\\"{a}}user},\r\n url = {http://dx.doi.org/10.1007/978-3-7643-8504-0},\r\n doi = {10.1007/978-3-7643-8504-0},\r\n isbn = {978-3-7643-8503-3},\r\n timestamp = {Mon, 22 Sep 2014 18:13:59 +0200},\r\n biburl = {http://dblp.uni-trier.de/rec/bib/books/daglib/0032750},\r\n bibsource = {dblp computer science bibliography, http://dblp.org}\r\n}\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n","author_short":["Gasquet, O.","Herzig, A.","Said, B.","Schwarzentruber, F."],"key":"DBLP:books/daglib/0032750","id":"DBLP:books/daglib/0032750","bibbaseid":"gasquet-herzig-said-schwarzentruber-kripkesworldsanintroductiontomodallogicsviatableaux-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-7643-8504-0"},"downloads":0},"search_terms":["kripke","worlds","introduction","modal","logics","via","tableaux","gasquet","herzig","said","schwarzentruber"],"keywords":[],"authorIDs":["5e469b342e79a6df0100005b","5e469d252e79a6df01000072"],"dataSources":["ahHvL4KbNBF3imWkX"]}