{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:26Z","timestamp":1755220946873,"version":"3.43.0"},"reference-count":26,"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:1004999417699","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"103-120","source":"Crossref","is-referenced-by-count":1,"title":["Intuitionistic Autoepistemic Logic"],"prefix":"10.1007","volume":"59","author":[{"given":"Giambattista","family":"Amati","sequence":"first","affiliation":[]},{"given":"Luigia","family":"Carlucci-Aiello","sequence":"additional","affiliation":[]},{"given":"Fiora","family":"Pirri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"143140_CR1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF01053021","volume":"53","author":"G. Amati","year":"1994","unstructured":"AMATI, G., and F. PIRRI, 1994, \u2018A uniform tableaux method for Intuitionistic modal logic I\u2019, Studia Logica\n53, 29\u201360.","journal-title":"Studia Logica"},{"issue":"1","key":"143140_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/jigpal\/4.1.7","volume":"4","author":"G. Amati","year":"1996","unstructured":"AMATI, G., L. CARLUCCI-AIELLO, D. GABBAY, and F. PIRRI, 1996, \u2018A structural property on modal frames characterizing default logic\u2019, Journal of IGPL\n4,1, 1\u201324.","journal-title":"Journal of IGPL"},{"key":"143140_CR3","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00881838","volume":"10","author":"A. Avron","year":"1993","unstructured":"AVRON, A., 1993, \u2018Gentzen-type systems, resolution and tableaux\u2019, Journal of Automated reasoning\n10, 265\u2013281.","journal-title":"Journal of Automated reasoning"},{"key":"143140_CR4","unstructured":"VAN BENTHEM, J., 1988, A Manual of Intensional Logic, Lecture Notes, CSLI."},{"key":"143140_CR5","volume-title":"Handbook of philosophical logic","author":"D. Van Dalen","year":"1986","unstructured":"VAN DALEN, D., 1986, \u2018Intuitionistic Logic\u2019, Handbook of philosophical logic, Gabbay and Guenther (Eds), Reidel Publishing Co., Dordrecht."},{"key":"143140_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00370809","volume":"44","author":"K. Do\u0160en","year":"1985","unstructured":"Do\u0160en, K., 1985, \u2018Models for strongly normal intuitionistic modal logics\u2019, Studia Logica\n44, 39\u201370.","journal-title":"Studia Logica"},{"key":"143140_CR7","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF02121259","volume":"36","author":"G. Fisher Servi","year":"1977","unstructured":"FISCHER SERVI, G., 1977, \u2018On Modal Logics with an Intuitionstic Base\u2019, Studia Logica\n36, 141\u2013149.","journal-title":"Studia Logica"},{"key":"143140_CR8","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-94-009-8937-5_5","volume-title":"Italian Studies in the Philosophy of Science","author":"G. Fischer Servi","year":"1980","unstructured":"FISCHER SERVI, G., 1980, \u2018Semantics for a class of Intuitionistic Modal Calculi\u2019, in M.L. Dalla Chiara (ed.), Italian Studies in the Philosophy of Science, Reidel Publishing Co., Dordrecht, 59\u201372."},{"key":"143140_CR9","first-page":"179","volume":"42","author":"G. Fischer Servi","year":"1984","unstructured":"FISCHER SERVI, G., 1984, \u2018Axiomatizations for some Intuitionistic Modal Logics\u2019, Rend. Sem. Mat. Univers. Polit.\n42, 179\u2013194.","journal-title":"Rend. Sem. Mat. Univers. Polit."},{"key":"143140_CR10","first-page":"1167","volume":"57","author":"G. Fischer Servi","year":"1992","unstructured":"FISCHER SERVI, G., 1992, \u2018Nonmonotonic consequence based on intuitionistic logic\u2019, Journal of Symbolic Logic\n57, 1167\u20131197.","journal-title":"Journal of Symbolic Logic"},{"key":"143140_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"FITTING, M., 1983, Proof Methods for Modal and Intuitionistic Logics, Reidel Publishing Co., Dordrecht."},{"key":"143140_CR12","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/BFb0000064","volume-title":"Proceedings of the 6th Conference on Automated Deduction","author":"D. M. Gabbay","year":"1982","unstructured":"GABBAY, D. M., 1982, \u2018Intuitionistic basis for non-monotonic logic\u2019, Proceedings of the 6th Conference on Automated Deduction, LNCS, Vol.138, Springer-Verlag, Berlin, 260\u2013273."},{"key":"143140_CR13","unstructured":"GABBAY, D. M., M. R. B. CLARKE, 1988, \u2018An Intuitionistic Basis for Non-Monotonic Reasoning\u2019, Non-Standard Logics for Automated Reasoning, Academic-Press, 163\u2013178."},{"key":"143140_CR14","unstructured":"HALPERN, J. Y., and Y. MOSES, 1984, \u2018Towards a theory of knowledge and ignorance: Preliminary report\u2019, Proceedings of the 1984 Non-monotonic Reasoning Workshop, American Association for Artificial Intelligence, Morgan Kaufmann, 125\u2013143."},{"key":"143140_CR15","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"KONOLIGE, K., 1988, \u2018On the relation between default theories and autoepistemic logic\u2019, Artificial Intelligence Journal\n35, 343\u2013382.","journal-title":"Artificial Intelligence Journal"},{"key":"143140_CR16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. Mcdermott","year":"1980","unstructured":"MCDERMOTT, D., and C. DOYLE, 1980, \u2018Non-monotonic Logic I\u2019, Artificial Intelligence Journal\n13, 41\u201372.","journal-title":"Artificial Intelligence Journal"},{"key":"143140_CR17","unstructured":"MAREK, V., and M. TRUSZCZYNSKI, 1989, \u2018Relating autoepistemic and default logics\u2019, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), Morgan Kaufmann, 276\u2013288."},{"key":"143140_CR18","doi-asserted-by":"crossref","unstructured":"MAREK, V., and M. TRUSZCZYNSKI, 1993, Nonmonotonic Logic, Context-Dependent Reasoning, Springer-Verlag.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"143140_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"T. Mccarty","year":"1988","unstructured":"MCCARTY, T., 1988, \u2018Clausal intuitionistic logic I. Fixed-point semantics\u2019, Journal of Logic Programming\n5, 1\u201331.","journal-title":"Journal of Logic Programming"},{"key":"143140_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"MOORE, R. C., 1985, \u2018Semantical Considerations on nonmonotonic logic\u2019, Artificial Intelligence Journal\n25, 75\u201394.","journal-title":"Artificial Intelligence Journal"},{"key":"143140_CR21","doi-asserted-by":"crossref","unstructured":"ONO, H., 1977, \u2018On some intuitionistic modal logics\u2019, Publication of The Research Institute for Mathematical Science\n13, Kyoto University, 687\u2013722.","DOI":"10.2977\/prims\/1195189604"},{"key":"143140_CR22","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(93)90104-J","volume":"64","author":"R. C. Stalnaker","year":"1993","unstructured":"STALNAKER, R. C., 1993, \u2018A note on non monotonic modal logic\u2019, Arlificial Intelligence Journal\n64, 183\u2013196.","journal-title":"Arlificial Intelligence Journal"},{"key":"143140_CR23","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"TAKEUTI, G., 1975, Proof Theory, North Holland, Amsterdam."},{"key":"143140_CR24","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R. Thomason","year":"1969","unstructured":"THOMASON, R., 1969, \u2018A semantical study of constructibile falsity\u2019, Z. Math. Logik und Grundlagen der Mathematik\n15, 247\u2013257.","journal-title":"Z. Math. Logik und Grundlagen der Mathematik"},{"key":"143140_CR25","unstructured":"TRUSZCZYNSKI, M., 1991, \u2018Modal interpretations of default logic\u2019, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Morgan Kaufmann, 393\u2013398."},{"key":"143140_CR26","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BF01874703","volume":"40","author":"D. Vakarelov","year":"1981","unstructured":"VAKARELOV, D., 1981, \u2018Intuitionistic Modal Logics Incompatible with the law of the excluded middle\u2019, Studia Logica\n40, 103\u2013111.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004999417699.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004999417699\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004999417699.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:18:22Z","timestamp":1754630302000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004999417699"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["143140"],"URL":"https:\/\/doi.org\/10.1023\/a:1004999417699","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}