{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:06Z","timestamp":1745986746180,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357213"},{"type":"electronic","value":"9783642357220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35722-0_26","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:16:29Z","timestamp":1357298189000},"page":"359-371","source":"Crossref","is-referenced-by-count":1,"title":["Temporalizing Modal Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Ren-June","family":"Wang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S.N. Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic\u00a07(1), 1\u201336 (2001)","journal-title":"Bulletin of Symbolic Logic"},{"issue":"4","key":"26_CR2","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"S.N. Artemov","year":"2008","unstructured":"Artemov, S.N.: The Logic of Justification. The Review of Symbolic Logic\u00a01(4), 477\u2013513 (2008)","journal-title":"The Review of Symbolic Logic"},{"issue":"2-3","key":"26_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial intelligence\u00a042(2-3), 213\u2013261 (1990)","journal-title":"Artificial intelligence"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"5","author":"H.N. Duc","year":"1997","unstructured":"Duc, H.N.: Reasoning about rational, but not logically omniscient, agent. Journal of Logic and Computation\u00a05, 633\u2013648 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BFb0026765","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"H.N. Duc","year":"1998","unstructured":"Duc, H.N.: On the Epistemic Foundations of Agent Theories. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 275\u2013279. Springer, Heidelberg (1998)"},{"issue":"1","key":"26_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1080\/09528139008953715","volume":"2","author":"J.J. Elgot-drapkin","year":"1990","unstructured":"Elgot-drapkin, J.J., Perlis, D.: Reasoning situation in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence\u00a02(1), 75\u201398 (1990)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"1","key":"26_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence\u00a034(1), 39\u201376 (1988)","journal-title":"Artificial Intelligence"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowldge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M.C. Fitting","year":"2005","unstructured":"Fitting, M.C.: The logic of proofs, semantically. Annals of Pure and Applied Logic\u00a0132, 1\u201325 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"26_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1111\/j.1467-8640.1985.tb00059.x","volume":"1","author":"A. Haas","year":"1985","unstructured":"Haas, A.: Possible events, actual events, and robots. Computational Intelligence\u00a01(1), 59\u201370 (1985)","journal-title":"Computational Intelligence"},{"key":"26_CR11","unstructured":"Hintikka, J.: Knowledge and belief. Cornell University Press (1962)"},{"key":"26_CR12","volume-title":"A Deduction Model of Belief","author":"K. Konolige","year":"1986","unstructured":"Konolige, K.: A Deduction Model of Belief. Morgan Kaufmann, San Mateo (1986)"},{"key":"26_CR13","unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Proceedings of the National Conference on Artificial Intelligence, Austin, TX, pp. 198\u2013202 (1984)"},{"issue":"2","key":"26_CR14","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1207\/s15516709cog0202_1","volume":"2","author":"D. McDermott","year":"1978","unstructured":"McDermott, D.: Planning and Acting. Cognitive Science\u00a02(2), 71\u2013109 (1978)","journal-title":"Cognitive Science"},{"issue":"1","key":"26_CR15","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1093\/logcom\/7.1.109","volume":"7","author":"M. Nirkhe","year":"1997","unstructured":"Nirkhe, M., Kraus, S., Miller, M.J., Perlis, D.: How to (Plan to) Meet a Deadline Between Now and Then. Journal of Logic and Computation\u00a07(1), 109\u2013156 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"26_CR16","first-page":"18","volume":"35","author":"V. Rantala","year":"1982","unstructured":"Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica\u00a035, 18\u201324 (1982)","journal-title":"Acta Philosophica Fennica"},{"key":"26_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-642-02261-6_31","volume-title":"Logic, Language, Information and Computation","author":"R.-J. Wang","year":"2009","unstructured":"Wang, R.-J.: Knowledge, Time, and Logical Omniscience. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS (LNAI), vol.\u00a05514, pp. 394\u2013407. Springer, Heidelberg (2009)"},{"issue":"2-4","key":"26_CR18","doi-asserted-by":"crossref","first-page":"321","DOI":"10.3233\/FI-2011-389","volume":"106","author":"R.-J. Wang","year":"2011","unstructured":"Wang, R.-J.: Knowledge, Time, and the Problem of Logical Omniscience. Fundamenta Informaticae\u00a0106(2-4), 321\u2013338 (2011)","journal-title":"Fundamenta Informaticae"},{"key":"26_CR19","unstructured":"Wang, R.-J.: On Non-Circular Proofs and Proof Realization in Modal logic. Technical Report TR-2011012, CUNY PhD Program in Computer Science (2011)"},{"key":"26_CR20","unstructured":"Wooldridge, M.: An introduction to multiagent systems. Wiley (2009)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35722-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:00:37Z","timestamp":1745942437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35722-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357213","9783642357220"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35722-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}