@inproceedings{conf/aiml/Fritz16,
  added-at = {2017-04-04T00:00:00.000+0200},
  author = {Fritz, Peter},
  biburl = {https://www.bibsonomy.org/bibtex/277f353ba414132631288dfb6497829b4/dblp},
  booktitle = {Advances in Modal Logic},
  crossref = {conf/aiml/2016},
  editor = {Beklemishev, Lev D. and Demri, Stéphane and Maté, András},
  ee = {http://www.aiml.net/volumes/volume11/Fritz.pdf},
  interhash = {5d864e6d429a008559665de0b1f69e99},
  intrahash = {77f353ba414132631288dfb6497829b4},
  isbn = {978-1-84890-201-5},
  keywords = {dblp},
  pages = {288-301},
  publisher = {College Publications},
  timestamp = {2017-04-05T11:35:20.000+0200},
  title = {Post Completeness in Congruential Modal Logics.},
  url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#Fritz16},
  year = 2016
}

{"_id":"RgQdXpSk4tYcu3yAR","bibbaseid":"fritz-postcompletenessincongruentialmodallogics-2016","authorIDs":[],"author_short":["Fritz, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-04-04T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Fritz"],"firstnames":["Peter"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/277f353ba414132631288dfb6497829b4/dblp","booktitle":"Advances in Modal Logic","crossref":"conf/aiml/2016","editor":[{"propositions":[],"lastnames":["Beklemishev"],"firstnames":["Lev","D."],"suffixes":[]},{"propositions":[],"lastnames":["Demri"],"firstnames":["Stéphane"],"suffixes":[]},{"propositions":[],"lastnames":["Maté"],"firstnames":["András"],"suffixes":[]}],"ee":"http://www.aiml.net/volumes/volume11/Fritz.pdf","interhash":"5d864e6d429a008559665de0b1f69e99","intrahash":"77f353ba414132631288dfb6497829b4","isbn":"978-1-84890-201-5","keywords":"dblp","pages":"288-301","publisher":"College Publications","timestamp":"2017-04-05T11:35:20.000+0200","title":"Post Completeness in Congruential Modal Logics.","url":"http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#Fritz16","year":"2016","bibtex":"@inproceedings{conf/aiml/Fritz16,\n added-at = {2017-04-04T00:00:00.000+0200},\n author = {Fritz, Peter},\n biburl = {https://www.bibsonomy.org/bibtex/277f353ba414132631288dfb6497829b4/dblp},\n booktitle = {Advances in Modal Logic},\n crossref = {conf/aiml/2016},\n editor = {Beklemishev, Lev D. and Demri, Stéphane and Maté, András},\n ee = {http://www.aiml.net/volumes/volume11/Fritz.pdf},\n interhash = {5d864e6d429a008559665de0b1f69e99},\n intrahash = {77f353ba414132631288dfb6497829b4},\n isbn = {978-1-84890-201-5},\n keywords = {dblp},\n pages = {288-301},\n publisher = {College Publications},\n timestamp = {2017-04-05T11:35:20.000+0200},\n title = {Post Completeness in Congruential Modal Logics.},\n url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#Fritz16},\n year = 2016\n}\n\n","author_short":["Fritz, P."],"editor_short":["Beklemishev, L. D.","Demri, S.","Maté, A."],"key":"conf/aiml/Fritz16","id":"conf/aiml/Fritz16","bibbaseid":"fritz-postcompletenessincongruentialmodallogics-2016","role":"author","urls":{"Link":"http://www.aiml.net/volumes/volume11/Fritz.pdf","Paper":"http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#Fritz16"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:30.373Z","downloads":0,"keywords":["dblp"],"search_terms":["post","completeness","congruential","modal","logics","fritz"],"title":"Post Completeness in Congruential Modal Logics.","year":2016,"dataSources":["P8qTtTCTHaCFodAoX"]}