{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:48:42Z","timestamp":1764557322002,"version":"3.40.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_17","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"239-252","source":"Crossref","is-referenced-by-count":2,"title":["Finitary S5-Theories"],"prefix":"10.1007","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Gelfond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Baltag, A., Moss, L.: Logics for epistemic programs. Synthese (2004)","DOI":"10.1007\/1-4020-4094-6_1"},{"key":"17_CR2","unstructured":"van Benthem, J.: Modal Logic for Open Minds. Center for the Study of Language and Information (2010)"},{"issue":"11","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. van Benthem","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.P.: Logics of communication and change. Inf. Comput.\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., Van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Elsevier (2007)","DOI":"10.1002\/9780470996751.ch27"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Bolander, T., Andersen, M.: Epistemic Planning for Single and Multi-Agent Systems. Journal of Applied Non-Classical Logics 21(1) (2011)","DOI":"10.3166\/jancl.21.9-34"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"17_CR8","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Application. Elsevier (2003)"},{"key":"17_CR9","unstructured":"Halpern, J.Y., Lakemeyer, G.: Multi-agent only knowing. In: Shoham, Y. (ed.) Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, pp. 251\u2013265. Morgan Kaufmann (1996)"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"key":"17_CR11","unstructured":"Herzig, A., Lang, J., Marquis, P.: Action Progression and Revision in Multiagent Belief Structures. In: Sixth Workshop on Nonmonotonic Reasoning, Action, and Change, NRAC (2005)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Proceedings of The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, Bologna, Italy, pp. 1167\u20131174. ACM (2002)","DOI":"10.1145\/545056.545095"},{"key":"17_CR13","unstructured":"Lakemeyer, G., Levesque, H.J.: Only-knowing meets nonmonotonic modal logic. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14. AAAI Press (2012)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-24130-7_13","volume-title":"Logic, Rationality, and Interaction","author":"B. L\u00f6we","year":"2011","unstructured":"L\u00f6we, B., Pacuit, E., Witzel, A.: DEL planning and some tractable cases. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol.\u00a06953, pp. 179\u2013192. Springer, Heidelberg (2011)"},{"issue":"1","key":"17_CR15","doi-asserted-by":"crossref","first-page":"29","DOI":"10.3233\/FI-2000-42102","volume":"42","author":"L.A. Nguyen","year":"2000","unstructured":"Nguyen, L.A.: Constructing the least models for positive modal logic programs. Fundam. Inform.\u00a042(1), 29\u201360 (2000)","journal-title":"Fundam. Inform."},{"issue":"2","key":"17_CR16","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1093\/jigpal\/jzm059","volume":"16","author":"L.A. Nguyen","year":"2008","unstructured":"Nguyen, L.A.: Constructing finite least kripke models for positive logic programs in serial regular grammar logics. Logic Journal of the IGPL\u00a016(2), 175\u2013193 (2008)","journal-title":"Logic Journal of the IGPL"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:54:48Z","timestamp":1746377688000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}