{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:22Z","timestamp":1755220942321,"version":"3.43.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"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":["Studia Logica"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1023\/a:1004943332720","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"29-32","source":"Crossref","is-referenced-by-count":18,"title":["Modality, Si! Modal Logic, No!"],"prefix":"10.1007","volume":"59","author":[{"given":"John","family":"Mccarthy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"143137_CR1","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D. Gabbay","year":"1996","unstructured":"Dov Gabbay. Fibred semantics and the weaving of logics: Part I: Modal and intuitionistic logics. Journal of Symbolic Logic, 61(4):1057\u20131120, 1996.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"143137_CR2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(95)00007-2","volume":"74","author":"J. Y. Halpern","year":"1995","unstructured":"Joseph Y. Halpern and Gerhard Lakemeyer. Levesque's axiomatization of only knowing is incomplete. Artificial Intelligence, 74(2):381\u2013387, 1995.","journal-title":"Artificial Intelligence"},{"key":"143137_CR3","doi-asserted-by":"crossref","first-page":"325","DOI":"10.3233\/FI-1991-153-408","volume":"XV","author":"S. Kraus","year":"1991","unstructured":"Sarit Kraus, Donald Perlis, and John Horty. Reasoning about ignorance: A note on the Bush-Gorbachev problem. Fundamenta Informatica, XV:325\u2013332, 1991.","journal-title":"Fundamenta Informatica"},{"key":"143137_CR4","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H. J. Levesque","year":"1990","unstructured":"Hector J. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42:263\u2013309, 1990.","journal-title":"Artificial Intelligence"},{"key":"143137_CR5","unstructured":"John McCarthy. Formalization of two puzzles involving knowledge http:\/\/www-formal.stanford.edu\/jmc\/puzzles.html, 1978. Reprinted in [McC90]."},{"key":"143137_CR6","unstructured":"John McCarthy. Ascribing mental qualities to machines (http:\/\/www-formal.stanford.edu\/jmc\/ascribing.html) In Martin Ringle, editor, Philosophical Perspectives in Artificial Intelligence, Harvester Press, 1979. Reprinted in [McC90]."},{"key":"143137_CR7","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1979","unstructured":"John McCarthy. First Order Theories of Individual Concepts and Propositions (http:\/\/www-formal.stanford.edu\/jmc\/concepts.html) In Donald Michie, editor, Machine Intelligence, volume 9. Edinburgh University Press, Edinburgh, 1979. Reprinted in [McC90]."},{"key":"143137_CR8","unstructured":"John McCarthy. Formalization of common sense, papers by John McCarthy edited by V. Lifschitz. Ablex, 1990."},{"key":"143137_CR9","unstructured":"John McCarthy. Making Robots Conscious of their Mental States (http:\/\/www-formal.stanford.edu\/jmc\/consciousness.html) In Stephen Muggleton, editor, Machine Intelligence 15. Oxford University Press, 1996."},{"issue":"1","key":"143137_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Robert C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1):75\u201394, January 1985.","journal-title":"Artificial Intelligence"},{"key":"143137_CR11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(88)90003-3","volume":"36","author":"D. Perlis","year":"1988","unstructured":"Donald Perlis. Autocircumscription. Artificial Intelligence, 36:223\u2013236, 1988.","journal-title":"Artificial Intelligence"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004943332720.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004943332720\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004943332720.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:17:44Z","timestamp":1754630264000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004943332720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["143137"],"URL":"https:\/\/doi.org\/10.1023\/a:1004943332720","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}