@article{journals/ndjfl/KaminskiT96,
  added-at = {2014-08-05T00:00:00.000+0200},
  author = {Kaminski, Michael and Tiomkin, Michael L.},
  biburl = {http://www.bibsonomy.org/bibtex/23630861702c162d1a7eb07185a0f36b3/dblp},
  ee = {http://dx.doi.org/10.1305/ndjfl/1040067314},
  interhash = {993ff3854914fad7e03b624abcd770e9},
  intrahash = {3630861702c162d1a7eb07185a0f36b3},
  journal = {Notre Dame Journal of Formal Logic},
  keywords = {dblp},
  number = 1,
  pages = {35-43},
  timestamp = {2015-06-17T22:00:12.000+0200},
  title = {The Expressive Power of Second-Order Propositional Modal Logic.},
  url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl37.html#KaminskiT96},
  volume = 37,
  year = 1996
}

{"_id":"HSYeSi6AMAPKtthKR","bibbaseid":"kaminski-tiomkin-theexpressivepowerofsecondorderpropositionalmodallogic-1996","downloads":0,"creationDate":"2016-04-12T13:16:32.457Z","title":"The Expressive Power of Second-Order Propositional Modal Logic.","author_short":["Kaminski, M.","Tiomkin, M. L."],"year":1996,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2014-08-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Tiomkin"],"firstnames":["Michael","L."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/23630861702c162d1a7eb07185a0f36b3/dblp","ee":"http://dx.doi.org/10.1305/ndjfl/1040067314","interhash":"993ff3854914fad7e03b624abcd770e9","intrahash":"3630861702c162d1a7eb07185a0f36b3","journal":"Notre Dame Journal of Formal Logic","keywords":"dblp","number":"1","pages":"35-43","timestamp":"2015-06-17T22:00:12.000+0200","title":"The Expressive Power of Second-Order Propositional Modal Logic.","url":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl37.html#KaminskiT96","volume":"37","year":"1996","bibtex":"@article{journals/ndjfl/KaminskiT96,\n added-at = {2014-08-05T00:00:00.000+0200},\n author = {Kaminski, Michael and Tiomkin, Michael L.},\n biburl = {http://www.bibsonomy.org/bibtex/23630861702c162d1a7eb07185a0f36b3/dblp},\n ee = {http://dx.doi.org/10.1305/ndjfl/1040067314},\n interhash = {993ff3854914fad7e03b624abcd770e9},\n intrahash = {3630861702c162d1a7eb07185a0f36b3},\n journal = {Notre Dame Journal of Formal Logic},\n keywords = {dblp},\n number = 1,\n pages = {35-43},\n timestamp = {2015-06-17T22:00:12.000+0200},\n title = {The Expressive Power of Second-Order Propositional Modal Logic.},\n url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl37.html#KaminskiT96},\n volume = 37,\n year = 1996\n}\n\n","author_short":["Kaminski, M.","Tiomkin, M. L."],"key":"journals/ndjfl/KaminskiT96","id":"journals/ndjfl/KaminskiT96","bibbaseid":"kaminski-tiomkin-theexpressivepowerofsecondorderpropositionalmodallogic-1996","role":"author","urls":{"Link":"http://dx.doi.org/10.1305/ndjfl/1040067314","Paper":"http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl37.html#KaminskiT96"},"keyword":["dblp"],"downloads":0},"search_terms":["expressive","power","second","order","propositional","modal","logic","kaminski","tiomkin"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}