{"_id":"DMHgN7Jhm8z4g8eQk","bibbaseid":"lakemeyer-thesituationcalculusacaseformodallogic-2010","author_short":["Lakemeyer, G."],"bibdata":{"bibtype":"article","type":"article","title":"The Situation Calculus: A Case for Modal Logic","journal":"Journal of Logic, Language and Information","volume":"19","number":"4","year":"2010","pages":"431–450","publisher":"Springer","doi":"10.1007/s10849-009-9117-6","author":[{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"bibtex":"@article {KBSG_270,\n title = {The Situation Calculus: A Case for Modal Logic},\n journal = {Journal of Logic, Language and Information},\n volume = {19},\n number = {4},\n year = {2010},\n pages = {431--450},\n publisher = {Springer},\n doi = {10.1007/s10849-009-9117-6},\n author = {Lakemeyer, Gerhard}\n}\n","author_short":["Lakemeyer, G."],"key":"KBSG_270","id":"KBSG_270","bibbaseid":"lakemeyer-thesituationcalculusacaseformodallogic-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["situation","calculus","case","modal","logic","lakemeyer"],"title":"The Situation Calculus: A Case for Modal Logic","year":2010}