@INPROCEEDINGS{Hei97b,
  author = {Heinemann, Bernhard},
  title = {A Modal Logic for Reasoning about Knowledge and Time on Binary Subset
	Trees},
  booktitle = {Qualitative and Quantitative Practical Reasoning, ECSQARU/FAPR'97},
  year = {1997},
  editor = {Gabbay, D. M. and Kruse, R. and Nonnengart, A. and Ohlbach, H. J.},
  volume = {1244},
  series = LNCS,
  pages = {298--310},
  publisher = {Springer},
  keywords = {thi1}
}

{"_id":"tjn8yeMiTAZMGGxkY","bibbaseid":"heinemann-amodallogicforreasoningaboutknowledgeandtimeonbinarysubsettrees-1997","authorIDs":[],"author_short":["Heinemann, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees","booktitle":"Qualitative and Quantitative Practical Reasoning, ECSQARU/FAPR'97","year":"1997","editor":[{"propositions":[],"lastnames":["Gabbay"],"firstnames":["D.","M."],"suffixes":[]},{"propositions":[],"lastnames":["Kruse"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Nonnengart"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Ohlbach"],"firstnames":["H.","J."],"suffixes":[]}],"volume":"1244","series":"Lecture Notes in Computer Science","pages":"298–310","publisher":"Springer","keywords":"thi1","bibtex":"@INPROCEEDINGS{Hei97b,\r\n author = {Heinemann, Bernhard},\r\n title = {A Modal Logic for Reasoning about Knowledge and Time on Binary Subset\r\n\tTrees},\r\n booktitle = {Qualitative and Quantitative Practical Reasoning, ECSQARU/FAPR'97},\r\n year = {1997},\r\n editor = {Gabbay, D. M. and Kruse, R. and Nonnengart, A. and Ohlbach, H. J.},\r\n volume = {1244},\r\n series = LNCS,\r\n pages = {298--310},\r\n publisher = {Springer},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B."],"editor_short":["Gabbay, D. M.","Kruse, R.","Nonnengart, A.","Ohlbach, H. J."],"key":"Hei97b","id":"Hei97b","bibbaseid":"heinemann-amodallogicforreasoningaboutknowledgeandtimeonbinarysubsettrees-1997","role":"author","urls":{},"keyword":["thi1"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.234Z","downloads":0,"keywords":["thi1"],"search_terms":["modal","logic","reasoning","knowledge","time","binary","subset","trees","heinemann"],"title":"A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees","year":1997,"dataSources":["t7rKiAbxugj4Agz8M"]}