{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:44:11Z","timestamp":1725565451630},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_24","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"273-285","source":"Crossref","is-referenced-by-count":0,"title":["Minimal Knowledge and Belief via Minimal Topology"],"prefix":"10.1007","author":[{"given":"David","family":"Pearce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levan","family":"Uridia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Esakia, L.: The modal logic of topological spaces. Georgian Academy of Sciences, 22 p. (1976) (Preprint)"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.apal.2003.11.013","volume":"127","author":"L. Esakia","year":"2004","unstructured":"Esakia, L.: Intuitionistic logic and modality via topology. Ann. Pure & App. Logic\u00a0127, 155\u2013170 (2004)","journal-title":"Ann. Pure & App. Logic"},{"key":"24_CR3","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: preliminary report. In: Apt, K. (ed.) Logics and Models of Concurrent Systems, pp. 459\u2013476. Springer, Heidelberg (1985)"},{"key":"24_CR4","volume-title":"Topology","author":"R. Kuratowski","year":"1976","unstructured":"Kuratowski, R.: Topology, 2nd edn., vol.\u00a01. Academic Press, London (1976)","edition":"2"},{"key":"24_CR5","unstructured":"Segerberg, K.: An Essay in Classical Modal Logic. Filosofiska Studier. Uppsala: Filosofiska Foreningen och Filosofiska Institutionen vid Uppsala Universitet, vol. 13"},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","volume":"31","author":"A. Tarski","year":"1939","unstructured":"Tarski, A.: Der Aussagenkalkul und die Topologie. Fund. Math.\u00a031, 103\u2013134 (1939)","journal-title":"Fund. Math."},{"key":"24_CR7","unstructured":"Truszczynski, M.: Embedding Default Logic into Modal Nonmonotonic Logics. In: LPNMR 1991, pp. 151\u2013165 (1991)"},{"key":"24_CR8","first-page":"184","volume-title":"Proc. TARK-IV","author":"G. Schwarz","year":"1992","unstructured":"Schwarz, G., Truszczynski, M.: Modal Logic S4F and the minimal knowledge paradigm. In: Proc. TARK-IV, pp. 184\u2013198. Morgan Kaufmann, Monterey (1992)"},{"issue":"1","key":"24_CR9","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0004-3702(94)90013-2","volume":"67","author":"M. Truszczynski","year":"1994","unstructured":"Truszczynski, M., Schwarz, G.: Minimal Knowledge Problem: A New Approach. Artif. Intell.\u00a067(1), 113\u2013141 (1994)","journal-title":"Artif. Intell."},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"24_CR12","unstructured":"Gelfond, M., Lifschitz, V., Przy-musinska, H., Truszcynski, M.: Disjunctive defaults. In: Second International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, Cambridge, MA (1991)"},{"key":"24_CR13","unstructured":"Lin, F., Shoham, Y.: Epistemic semantics for fixed-points nonmonotonic logics. In: Parikh, R. (ed.) Proc. of the Third Conf. on Theoretical Aspects of Reasoning about Knowledge, pp. 111\u2013120 (1990)"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal Belief and Negation as Failure. Art. Intell.\u00a070, 53\u201372 (1994)","journal-title":"Art. Intell."},{"key":"24_CR15","volume-title":"Proc. IJCAI 1987","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y.: Nonmonotonic logics: meaning and utility. In: Proc. IJCAI 1987. Morgan Kaufmann, San Mateo (1987)"},{"key":"24_CR16","volume-title":"Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007)","author":"M. Truszczynski","year":"2007","unstructured":"Truszczynski, M.: The Modal Logic S4F, the Default Logic, and the Logic Here-and-There. In: Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007). AAAI Press, Menlo Park (2007)"},{"key":"24_CR17","first-page":"798","volume-title":"ECAI 2004","author":"P. Cabalar","year":"2004","unstructured":"Cabalar, P., Lorenzo, D.: New Insights on the Intuitionistic Interpretation of Default Logic. In: L\u00f3pez de M\u00e1ntaras, R., Saitta, L. (eds.) ECAI 2004, pp. 798\u2013802. IOS Press, Amsterdam (2004)"},{"issue":"1-2","key":"24_CR18","first-page":"3","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. AMAI\u00a047(1-2), 3\u201341 (2006)","journal-title":"AMAI"},{"key":"24_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. McKinsey","year":"1944","unstructured":"McKinsey, J., Tarski, A.: The algebra of topology. Annals of Mathematics\u00a045, 141\u2013191 (1944)","journal-title":"Annals of Mathematics"},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J. McKinsey","year":"1946","unstructured":"McKinsey, J., Tarski, A.: On Closed Elements in Closure Algebras. Annals of Mathematics\u00a047, 122\u2013162 (1946)","journal-title":"Annals of Mathematics"},{"key":"24_CR21","unstructured":"Esakia, L.: Weak transitivity - restitution. In: Logical Studies 2001, vol.\u00a08, pp. 244\u2013255 (2001)"},{"key":"24_CR22","volume-title":"Proceedings of LICS 1992","author":"G.F. Schwarz","year":"1992","unstructured":"Schwarz, G.F.: Minimal model semantics for nonmonotonic modal logics. In: Proceedings of LICS 1992. IEEE Computer Society Press, Washington (1992)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T06:12:58Z","timestamp":1553062378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}