{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:10:06Z","timestamp":1745939406389,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360381"},{"type":"electronic","value":"9783642360398"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36039-8_8","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T08:54:23Z","timestamp":1356080063000},"page":"80-96","source":"Crossref","is-referenced-by-count":2,"title":["Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge"],"prefix":"10.1007","author":[{"given":"Mai","family":"Ajspur","sequence":"first","affiliation":[]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ajspur, M., Goranko, V.: Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge. Technical report (2012), http:\/\/www2.imm.dtu.dk\/~vfgo\/papers\/AjspurGoranko-ICLA2013-TechReport.pdf","DOI":"10.1007\/978-3-642-36039-8_8"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"397","DOI":"10.3166\/jancl.14.397-445","volume":"14","author":"C. Dixon","year":"2004","unstructured":"Dixon, C., Nalon, C., Fisher, M.: Tableaux for logics of time and knowledge with interactions relating to synchrony. Journal of Applied Non-Classical Logics\u00a014(4), 397\u2013445 (2004)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"8_CR3","unstructured":"Goranko, V., Shkatov, D.: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. In: Decker, Sichman, Sierra, Castelfranchi (eds.) Proc. of AAMAS 2009 (2009)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time I: Lower bounds. Journal of Computer and System Sciences\u00a038(1), 195\u2013237 (1989)","journal-title":"Journal of Computer and System Sciences"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Vardi, M.Y.: Reasoning about knowledge and time: Synchronous systems, IBM Research Report (1989)","DOI":"10.1145\/62212.62218"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/B:STUD.0000027468.28935.6d","volume":"76","author":"R. Kontchakov","year":"2004","unstructured":"Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalizing tableaux. Studia Logica\u00a076(1), 91\u2013134 (2004)","journal-title":"Studia Logica"},{"key":"8_CR7","unstructured":"Nalon, C., Dixon, C., Fisher, M.: Resolution for synchrony and no learning. In: Schmidt, R., et al. (eds.) Advances in Modal Logic 5, pp. 231\u2013248 (2004)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: A practical decision method for propositional dynamic logic. In: Proc. of the 10th Annual ACM Symp. on the Theory of Computing, San Diego, California, pp. 326\u2013337 (1979)","DOI":"10.1145\/800133.804362"},{"issue":"110-111","key":"8_CR9","first-page":"119","volume":"28","author":"P. Wolper","year":"1985","unstructured":"Wolper, P.: The tableau method for temporal logic: an overview. Logique et Analyse\u00a028(110-111), 119\u2013136 (1985)","journal-title":"Logique et Analyse"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36039-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T14:49:10Z","timestamp":1745938150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36039-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360381","9783642360398"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36039-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}