{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:08:52Z","timestamp":1748750932611,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662485606"},{"type":"electronic","value":"9783662485613"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48561-3_19","type":"book-chapter","created":{"date-parts":[[2015,10,28]],"date-time":"2015-10-28T17:39:12Z","timestamp":1446053952000},"page":"230-242","source":"Crossref","is-referenced-by-count":0,"title":["Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles"],"prefix":"10.1007","author":[{"given":"Yanjun","family":"Li","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,19]]},"reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-36039-8_8","volume-title":"Logic and Its Applications","author":"M. Ajspur","year":"2013","unstructured":"Ajspur, M., Goranko, V.: Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge. In: Lodaya, K. (ed.) Logic and Its Applications. LNCS, vol.\u00a07750, pp. 80\u201396. Springer, Heidelberg (2013)"},{"key":"19_CR2","unstructured":"Ajspur, M.L.: Tableau-based decision procedures for epistemic and temporal epistemic logics. PhD thesis, Doctoral School of Communication, Business and Information Technologies, Roskilde University, Denmark (October 2013)"},{"key":"19_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-319-08587-6-21","volume-title":"Automated Reasoning","author":"S. Cerrito","year":"2014","unstructured":"Cerrito, S., David, A., Goranko, V.: Optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL+. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol.\u00a08562, pp. 277\u2013291. Springer, Heidelberg (2014), doi:10.1007\/978-3-319-08587-6-21"},{"key":"19_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about knowledge. MIT Press, Cambridge (1995)"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018(2), 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Goranko, V., Shkatov, D.: Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Transactions on Computational Logic\u00a011(1) (2009)","DOI":"10.1145\/1614431.1614434"},{"issue":"3","key":"19_CR8","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J.Y. Halpern","year":"2004","unstructured":"Halpern, J.Y., van der Meyden, R., Vardi, M.Y.: Complete axiomatizations for reasoning about knowledge and time. SIAM Journal on Computing\u00a033(3), 674\u2013703 (2004)","journal-title":"SIAM Journal on Computing"},{"key":"19_CR9","unstructured":"Hintikka, J.: Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press (1962)"},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language and Information\u00a012(4), 453\u2013467 (2003)","journal-title":"Journal of Logic, Language and Information"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: A practical decision method for propositional dynamic logic: Preliminary report. In: Lipton, R.J., Burkhard, W.A., Savitch, W.J., Friedman, E.P., Aho, A.V. (eds.) Proceedings of the 10th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, May 1-3, pp. 326\u2013337. ACM (1978)","DOI":"10.1145\/800133.804362"},{"key":"19_CR12","unstructured":"Schmidt, R.A., Tishkovsky, D.: Combining dynamic logic with doxastic modal logics. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic 4, Papers from the Fourth Conference on \u201cAdvances in Modal logic,\u201d held in Toulouse (France), pp. 371\u2013392. King\u2019s College Publications (October 2002)"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10849-007-9041-6","volume":"17","author":"R.A. Schmidt","year":"2008","unstructured":"Schmidt, R.A., Tishkovsky, D.: On combinations of propositional dynamic logic and doxastic modal logics. Journal of Logic, Language and Information\u00a017(1), 109\u2013129 (2008)","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s11225-004-6042-1","volume":"78","author":"R.A. Schmidt","year":"2004","unstructured":"Schmidt, R.A., Tishkovsky, D., Hustadt, U.: Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica\u00a078(3), 381\u2013415 (2004)","journal-title":"Studia Logica"},{"key":"19_CR15","unstructured":"Smith, D.E., Weld, D.S.: Conformant graphplan. In: Mostow, J., Rich, C. (eds.) Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 1998, IAAI 1998, Madison, Wisconsin, USA, July 26-30, pp. 889\u2013896. AAAI Press\/The MIT Press (1998)"},{"issue":"5","key":"19_CR16","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J. Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic\u00a038(5), 491\u2013526 (2009)","journal-title":"Journal of Philosophical Logic"},{"issue":"110-111","key":"19_CR17","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"},{"key":"19_CR18","unstructured":"Yu, Q., Li, Y., Wang, Y.: A dynamic epistemic framework for conformant planning. In: Ramanujam, R. (ed.) Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Pittsburgh, USA, June 4-6, pp. 249\u2013259. ACM Digital Library (2015)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48561-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T06:14:00Z","timestamp":1748672040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48561-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662485606","9783662485613"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48561-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}