@conference {bgs17,
	title = {Temporal Justification Logic},
	booktitle = {Proceedings of the Ninth Workshop on Methods for Modalities, 
        Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017},
	year = {2017},
	pages = {59-74},
	publisher = {Open Publishing Association},
	organization = {Open Publishing Association},
	url = {2017/bgs17.pdf},
	author = {Bucheli, Samuel and Ghari, Meghdad and Studer, Thomas},
	editor = {Ghosh, Sujata and Ramanujam, R.}
}

{"_id":"jWXa78TkKp9B32Jh8","bibbaseid":"bucheli-ghari-studer-temporaljustificationlogic-2017","authorIDs":[],"author_short":["Bucheli, S.","Ghari, M.","Studer, T."],"bibdata":{"bibtype":"conference","type":"conference","title":"Temporal Justification Logic","booktitle":"Proceedings of the Ninth Workshop on Methods for Modalities, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017","year":"2017","pages":"59-74","publisher":"Open Publishing Association","organization":"Open Publishing Association","url":"2017/bgs17.pdf","author":[{"propositions":[],"lastnames":["Bucheli"],"firstnames":["Samuel"],"suffixes":[]},{"propositions":[],"lastnames":["Ghari"],"firstnames":["Meghdad"],"suffixes":[]},{"propositions":[],"lastnames":["Studer"],"firstnames":["Thomas"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Ghosh"],"firstnames":["Sujata"],"suffixes":[]},{"propositions":[],"lastnames":["Ramanujam"],"firstnames":["R."],"suffixes":[]}],"bibtex":"@conference {bgs17,\n\ttitle = {Temporal Justification Logic},\n\tbooktitle = {Proceedings of the Ninth Workshop on Methods for Modalities, \n Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017},\n\tyear = {2017},\n\tpages = {59-74},\n\tpublisher = {Open Publishing Association},\n\torganization = {Open Publishing Association},\n\turl = {2017/bgs17.pdf},\n\tauthor = {Bucheli, Samuel and Ghari, Meghdad and Studer, Thomas},\n\teditor = {Ghosh, Sujata and Ramanujam, R.}\n}\n\n\n","author_short":["Bucheli, S.","Ghari, M.","Studer, T."],"editor_short":["Ghosh, S.","Ramanujam, R."],"key":"bgs17","id":"bgs17","bibbaseid":"bucheli-ghari-studer-temporaljustificationlogic-2017","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2017/bgs17.pdf"},"downloads":0},"bibtype":"conference","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:58.991Z","downloads":0,"keywords":[],"search_terms":["temporal","justification","logic","bucheli","ghari","studer"],"title":"Temporal Justification Logic","year":2017,"dataSources":["jFQMeatnEb8qn3qdH"]}