{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:21:11Z","timestamp":1736400071335,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540339960"},{"type":"electronic","value":"9783540339977"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750734_4","type":"book-chapter","created":{"date-parts":[[2006,4,11]],"date-time":"2006-04-11T11:09:15Z","timestamp":1144753755000},"page":"57-76","source":"Crossref","is-referenced-by-count":3,"title":["Strongly Complete Axiomatizations of \u201cKnowing at Most\u201d in Syntactic Structures"],"prefix":"10.1007","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Walicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"4_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.J.C. Meyer","year":"1995","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)"},{"key":"4_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"Hintikka, J.: Impossible possible worlds vindicated. Journal of Philosophical Logic\u00a04, 475\u2013484 (1975)","journal-title":"Journal of Philosophical Logic"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/BF00883100","volume":"26","author":"R.A. Eberle","year":"1974","unstructured":"Eberle, R.A.: A logic of believing, knowing and inferring. Synthese\u00a026, 356\u2013382 (1974)","journal-title":"Synthese"},{"key":"4_CR6","unstructured":"Moore, R.C., Hendrix, G.: Computational models of beliefs and the semantics of belief sentences. Technical Note 187, SRI International, Menlo Park, CA(1979)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037, 549\u2013587 (1990)","journal-title":"Journal of the ACM"},{"key":"4_CR8","unstructured":"Konolige, K.: A Deduction Model of Belief and its Logics. PhD thesis, Stanford University (1984)"},{"key":"4_CR9","first-page":"359","volume-title":"Formal Theories of the Commonsense World","author":"K. Konolige","year":"1985","unstructured":"Konolige, K.: Belief and incompleteness. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World, pp. 359\u2013403. Ablex Publishing Corporation, New Jersey (1985)"},{"key":"4_CR10","volume-title":"A Deduction Model of Belief","author":"K. Konolige","year":"1986","unstructured":"Konolige, K.: A Deduction Model of Belief. Morgan Kaufmann Publishers, Los Altos (1986)"},{"key":"4_CR11","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, 39\u201376 (1988); A preliminary version appeared in [16]","journal-title":"Artificial Intelligence"},{"key":"4_CR12","unstructured":"Drapkin, J., Perlis, D.: Step-logics: An alternative approach to limited reasoning. In: Proceedings of the European Conference on Artificial Intelligence, Brighton, England, pp. 160\u2013163 (1986)"},{"key":"4_CR13","unstructured":"Elgot-Drapkin, J., Kraus, S., Miller, M., Nirkhe, M., Perlis, D.: Active logics: A unified formal approach to episodic reasoning. Techn. Rep. CS-TR-4072 (1999)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Walicki, M.: Syntactic knowledge: A logic of reasoning, communication and cooperation. In: Ghidini, C., Giorgini, P., van der Hoek, W. (eds.) Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS), Barcelona, Spain (2004)","DOI":"10.1145\/1082473.1082660"},{"key":"4_CR15","first-page":"606","volume-title":"Proc. of the Third Intern. Joint Conf. on Autonomous Agents and Multi-Agent Syst. (AAMAS 2004)","author":"N. Alechina","year":"2004","unstructured":"Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resourcebounded agents. In: Proc. of the Third Intern. Joint Conf. on Autonomous Agents and Multi-Agent Syst. (AAMAS 2004), pp. 606\u2013613. ACM Press, New York (2004)"},{"key":"4_CR16","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness and limited reasoning. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, CA, pp. 491\u2013501 (1985)"},{"key":"4_CR17","first-page":"49","volume-title":"Proc. Sixth Canadian Conference on Artificial Intelligence","author":"R.F. Hadley","year":"1986","unstructured":"Hadley, R.F.: Fagin and halpern on logical omniscience: A critique with an alternative. In: Proc. Sixth Canadian Conference on Artificial Intelligence, pp. 49\u201356. University of Quebec Press, Montreal (1986)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/B978-0-934613-04-0.50019-3","volume-title":"Theoretical Aspects of Reasoning About Knowledge: Proceedings of the First Conference","author":"K. Konolige","year":"1986","unstructured":"Konolige, K.: What awareness isn\u2019t: A sentential view of implicit and explicit belief. In: Halpern, J.Y. (ed.) Theoretical Aspects of Reasoning About Knowledge: Proceedings of the First Conference, Los Altos, California, pp. 241\u2013250. Morgan Kaufmann Publishers, Inc., San Francisco (1986)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/BFb0018448","volume-title":"Logics in AI","author":"Z. Huang","year":"1991","unstructured":"Huang, Z., Kwast, K.: Awareness, negation and logical omniscience. In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol.\u00a0478, pp. 282\u2013300. Springer, Heidelberg (1991)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-94-015-8242-1_11","volume-title":"Diamonds and Defaults","author":"E. Thijsse","year":"1993","unstructured":"Thijsse, E.: On total awareness logics. In: de Rijke, M. (ed.) Diamonds and Defaults, pp. 309\u2013347. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1006\/game.2000.0832","volume":"37","author":"J. Halpern","year":"2001","unstructured":"Halpern, J.: Alternative semantics for unawareness. Games and Economic Behaviour\u00a037, 321\u2013339 (2001)","journal-title":"Games and Economic Behaviour"},{"key":"4_CR22","first-page":"102","volume-title":"Contemporary Philosophy: A Survey","author":"R. Montague","year":"1968","unstructured":"Montague, R.: Pragmatics. In: Klibansky, R. (ed.) Contemporary Philosophy: A Survey, pp. 102\u2013122. I. La Nuova Italia Editrice, Florence (1968); Reprinted in [40, pp. 95 \u2013 118]"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R. Montague","year":"1970","unstructured":"Montague, R.: Universal grammar. Theoria\u00a036, 373\u2013398 (1970); Reprinted in [40, pp. 222 \u2013 246]","journal-title":"Theoria"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","volume-title":"Philosophical Problems in Logic","author":"D.S. Scott","year":"1970","unstructured":"Scott, D.S.: Advice on modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic, pp. 143\u2013173. D. Reidel Publishing Co., Dordrecht (1970)"},{"key":"4_CR25","first-page":"101","volume":"11","author":"A. Moreno","year":"1998","unstructured":"Moreno, A.: Avoiding logical omniscience and perfect reasoning: a survey. AI Communications\u00a011, 101\u2013122 (1998)","journal-title":"AI Communications"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1002\/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X","volume":"12","author":"K.M. Sim","year":"1997","unstructured":"Sim, K.M.: Epistemic logic and logical omniscience: A survey. International Journal of Intelligent Systems\u00a012, 57\u201381 (1997)","journal-title":"International Journal of Intelligent Systems"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H. Wansing","year":"1990","unstructured":"Wansing, H.: A general possible worlds framework for reasoning about knowledge and belief. Studia Logica\u00a049, 523\u2013539 (1990)","journal-title":"Studia Logica"},{"key":"4_CR28","first-page":"106","volume":"35","author":"V. Rantala","year":"1982","unstructured":"Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica\u00a035, 106\u2013115 (1982)","journal-title":"Acta Philosophica Fennica"},{"key":"4_CR29","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00373492","volume":"41","author":"V. Rantala","year":"1982","unstructured":"Rantala, V.: Quantified modal logic: non-normal worlds and propositional attitudes. Studia Logica\u00a041, 41\u201365 (1982)","journal-title":"Studia Logica"},{"key":"4_CR30","first-page":"163","volume-title":"Proc. of the 8th Scandinavian Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications","author":"T. \u00c5gotnes","year":"2003","unstructured":"\u00c5gotnes, T., Walicki, M.: A logic for reasoning about agents with finite explicit knowledge. In: Tessem, B., Ala-Siuru, P., Doherty, P., Mayoh, B. (eds.) Proc. of the 8th Scandinavian Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, pp. 163\u2013174. IOS Press, Amsterdam (2003)"},{"key":"4_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11691792_3","volume-title":"Declarative Agent Languages and Technologies III","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes, T., Walicki, M.: Complete axiomatizations of finite syntactic epistemic states. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 33\u201350. Springer, Heidelberg (2006)"},{"key":"4_CR32","unstructured":"de Lavalette, G.R., Kooi, B., Verbrugge, R.: Strong completeness for propositional dynamic logic. In: Balbiani, P., Suzuki, N.Y., Wolter, F. (eds.) Preliminary Proceedings of AiML 2002, Institut de Recherche en Informatique de Toulouse IRIT, pp. 377\u2013393 (2002)"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H.J. Levesque","year":"1990","unstructured":"Levesque, H.J.: All I know: a study in autoepistemic logic. Artificial Intelligence\u00a042, 263\u2013309 (1990)","journal-title":"Artificial Intelligence"},{"key":"4_CR34","first-page":"202","volume-title":"Proceedings of the National Conference on Artificial Intelligence","author":"K. Konolige","year":"1982","unstructured":"Konolige, K.: Circumscriptive ignorance. In: Waltz, D. (ed.) Proceedings of the National Conference on Artificial Intelligence, Pittsburgh, PA, pp. 202\u2013204. AAAI Press, Menlo Park (1982)"},{"key":"4_CR35","first-page":"272","volume-title":"Proceedings of the 8th International Joint Conference on Artificial Intelligence","author":"R.C. Moore","year":"1983","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. In: Bundy, A. (ed.) Proceedings of the 8th International Joint Conference on Artificial Intelligence, Karlsruhe, FRG, pp. 272\u2013279. William Kaufmann, San Francisco (1983)"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-82453-1_16","volume-title":"Logics and Models of Concurrent Systems","author":"J.Y. Halpern","year":"1985","unstructured":"Halpern, J.Y., Moses, Y.: Towards a theory of knowledge and ignorance. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, pp. 459\u2013476. Springer, Heidelberg (1985)"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/logcom\/7.1.79","volume":"7","author":"J.Y. Halpern","year":"1997","unstructured":"Halpern, J.Y.: A theory of knowledge and ignorance for many agents. Journal of Logic and Computation\u00a07, 79\u2013108 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR38","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/0004-3702(95)00007-2","volume":"74","author":"J.Y. Halpern","year":"1995","unstructured":"Halpern, J.Y., Lakemeyer, G.: Levesque\u2019s axiomatization of only knowing is incomplete. Artificial Intelligence\u00a074, 381\u2013387 (1995)","journal-title":"Artificial Intelligence"},{"key":"4_CR39","first-page":"251","volume-title":"Theoretical Aspects of Rationality and Knowledge: Proceedings of the Sixth Conference (TARK 1996)","author":"J.Y. Halpern","year":"1996","unstructured":"Halpern, J.Y., Lakemeyer, G.: Multi-agent only knowing. In: Shoham, Y. (ed.) Theoretical Aspects of Rationality and Knowledge: Proceedings of the Sixth Conference (TARK 1996), pp. 251\u2013265. Morgan Kaufmann, San Francisco (1996)"},{"key":"4_CR40","volume-title":"Formal Philosophy","author":"R. Montague","year":"1974","unstructured":"Montague, R.: Formal Philosophy. Yale University Press, New Haven (1974)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750734_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:57:25Z","timestamp":1619506645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750734_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540339960","9783540339977"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11750734_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}