@inproceedings{conf/tark/PlotkinS86,
  added-at = {2002-03-05T00:00:00.000+0100},
  author = {Plotkin, Gordon D. and Stirling, Colin},
  biburl = {https://www.bibsonomy.org/bibtex/2e38f52fe5ceed5be2bff1af9e7b990f8/dblp},
  booktitle = {TARK},
  crossref = {conf/tark/1986},
  editor = {Halpern, Joseph Y.},
  interhash = {3045109c1a2ef33f86012dd154fa3f33},
  intrahash = {e38f52fe5ceed5be2bff1af9e7b990f8},
  isbn = {0-934613-04-4},
  keywords = {dblp},
  pages = {399-406},
  publisher = {Morgan Kaufmann},
  timestamp = {2018-06-22T11:44:53.000+0200},
  title = {A Framework for Intuitionistic Modal Logics.},
  url = {http://dblp.uni-trier.de/db/conf/tark/tark1986.html#PlotkinS86},
  year = 1986
}

{"_id":"4yNTEqqD8wCdpnmvp","bibbaseid":"plotkin-stirling-aframeworkforintuitionisticmodallogics-1986","author_short":["Plotkin, G. D.","Stirling, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2002-03-05T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Plotkin"],"firstnames":["Gordon","D."],"suffixes":[]},{"propositions":[],"lastnames":["Stirling"],"firstnames":["Colin"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e38f52fe5ceed5be2bff1af9e7b990f8/dblp","booktitle":"TARK","crossref":"conf/tark/1986","editor":[{"propositions":[],"lastnames":["Halpern"],"firstnames":["Joseph","Y."],"suffixes":[]}],"interhash":"3045109c1a2ef33f86012dd154fa3f33","intrahash":"e38f52fe5ceed5be2bff1af9e7b990f8","isbn":"0-934613-04-4","keywords":"dblp","pages":"399-406","publisher":"Morgan Kaufmann","timestamp":"2018-06-22T11:44:53.000+0200","title":"A Framework for Intuitionistic Modal Logics.","url":"http://dblp.uni-trier.de/db/conf/tark/tark1986.html#PlotkinS86","year":"1986","bibtex":"@inproceedings{conf/tark/PlotkinS86,\n added-at = {2002-03-05T00:00:00.000+0100},\n author = {Plotkin, Gordon D. and Stirling, Colin},\n biburl = {https://www.bibsonomy.org/bibtex/2e38f52fe5ceed5be2bff1af9e7b990f8/dblp},\n booktitle = {TARK},\n crossref = {conf/tark/1986},\n editor = {Halpern, Joseph Y.},\n interhash = {3045109c1a2ef33f86012dd154fa3f33},\n intrahash = {e38f52fe5ceed5be2bff1af9e7b990f8},\n isbn = {0-934613-04-4},\n keywords = {dblp},\n pages = {399-406},\n publisher = {Morgan Kaufmann},\n timestamp = {2018-06-22T11:44:53.000+0200},\n title = {A Framework for Intuitionistic Modal Logics.},\n url = {http://dblp.uni-trier.de/db/conf/tark/tark1986.html#PlotkinS86},\n year = 1986\n}\n\n","author_short":["Plotkin, G. D.","Stirling, C."],"editor_short":["Halpern, J. Y."],"key":"conf/tark/PlotkinS86","id":"conf/tark/PlotkinS86","bibbaseid":"plotkin-stirling-aframeworkforintuitionisticmodallogics-1986","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/tark/tark1986.html#PlotkinS86"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Stirling?items=1000","dataSources":["xbHk4ys6w3mB43db3"],"keywords":["dblp"],"search_terms":["framework","intuitionistic","modal","logics","plotkin","stirling"],"title":"A Framework for Intuitionistic Modal Logics.","year":1986}