{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:05Z","timestamp":1747548605634,"version":"3.40.5"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"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":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,4]]},"DOI":"10.1023\/a:1018967130652","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"25-47","source":"Crossref","is-referenced-by-count":9,"title":["Persistence and minimality in epistemic logic"],"prefix":"10.1007","volume":"27","author":[{"given":"Wiebe","family":"van der Hoek","sequence":"first","affiliation":[]},{"given":"Jan","family":"Jaspars","sequence":"additional","affiliation":[]},{"given":"Elias","family":"Thijsse","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"325543_CR1","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1093\/jigpal\/3.5.685","volume":"3","author":"H. Andr\u00e9ka","year":"1995","unstructured":"H. Andr\u00e9ka, J. van Benthem and I. N\u00e9meti, Back and forth between modal logic and classical logic, J. of the IGPL 3(5) (1995) 685-720.","journal-title":"J. of the IGPL"},{"key":"325543_CR2","doi-asserted-by":"crossref","unstructured":"B.F. Chellas, Modal Logic. An Introduction (Cambridge University Press, 1980).","DOI":"10.1017\/CBO9780511621192"},{"key":"325543_CR3","volume-title":"Finite Model Theory","author":"H.-D. Ebbinghaus","year":"1995","unstructured":"H.-D. Ebbinghaus and J. Flum, Finite Model Theory (Springer-Verlag, Berlin, 1995)."},{"key":"325543_CR4","doi-asserted-by":"crossref","unstructured":"R. Fagin and M Vardi, An internal semantics for modal logic, in: Proceedings of the 17th ACM SIGACT Symposium on Theory of Computing (1985) pp. 305-315.","DOI":"10.1145\/22145.22179"},{"key":"325543_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","volume":"16","author":"K. Fine","year":"1975","unstructured":"K. Fine, Normal forms in modal logic, Notre Dame J. Formal Logic 16 (1975) 229-237.","journal-title":"Notre Dame J. Formal Logic"},{"key":"325543_CR6","volume-title":"Intuitionistic Logic, Model theory and Forcing","author":"M. Fitting","year":"1969","unstructured":"M. Fitting, Intuitionistic Logic, Model theory and Forcing (North-Holland, Amsterdam, 1969)."},{"key":"325543_CR7","first-page":"41","volume-title":"Speech Acts, Syntax and Semantics III","author":"P. Grice","year":"1975","unstructured":"P. Grice, Logic and conversation, in: Speech Acts, Syntax and Semantics III, eds. P. Cole and J. Morgan (Academic Press, New York, 1975) pp. 41-58."},{"issue":"1","key":"325543_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/logcom\/7.1.79","volume":"7","author":"J.Y. Halpern","year":"1997","unstructured":"J.Y. Halpern, Theory of knowledge and ignorance for many agents, J. Logic Comput. 7(1) (1997) 79-108.","journal-title":"J. Logic Comput."},{"key":"325543_CR9","volume-title":"Logics and Models of Concurrent Systems","author":"J.Y. Halpern","year":"1985","unstructured":"J.Y. Halpern and Y. Moses, Towards a theory of knowledge and ignorance, in: Logics and Models of Concurrent Systems, ed. Kr. Apt (Springer-Verlag, Berlin, 1985)."},{"key":"325543_CR10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, J. Assoc. Comput. Mach. 32 (1985) 137-161.","journal-title":"J. Assoc. Comput. Mach."},{"key":"325543_CR11","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions (Cornell University Press, Ithaca, NY, 1962)."},{"key":"325543_CR12","volume-title":"A Companion to Modal Logic","author":"G. Hughes","year":"1984","unstructured":"G. Hughes and M. Cresswell, A Companion to Modal Logic (Methuen, London, 1984)."},{"key":"325543_CR13","volume-title":"Proceedings of the Ninth Workshop on Computer Science Logic (CSL '90)","author":"J.O.M. Jaspars","year":"1991","unstructured":"J.O.M. Jaspars, A generalization of stability and its application to circumscription of positive introspective knowledge, in: Proceedings of the Ninth Workshop on Computer Science Logic (CSL '90) (Springer-Verlag, Berlin, 1991)."},{"key":"325543_CR14","series-title":"Studies in Logic, Language and Information","first-page":"111","volume-title":"Partiality, Modality, Nonmonotonicity","author":"J. Jaspars","year":"1996","unstructured":"J. Jaspars and E. Thijsse, Fundamentals of partial modal logic, in: Partiality, Modality, Nonmonotonicity, ed. P. Doherty, Studies in Logic, Language and Information (CSLI Publications, Stanford, 1996) pp. 111-141."},{"key":"325543_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1989","unstructured":"K. Konolige, On the relation between default and autoepistemic logic, Artif. Intell. 35 (1989) 343-382.","journal-title":"Artif. Intell."},{"key":"325543_CR16","volume-title":"The Lemmon Notes: An Introduction to Modal Logic","author":"E. Lemmon","year":"1977","unstructured":"E. Lemmon and D. Scott, The Lemmon Notes: An Introduction to Modal Logic, ed. K. Segerberg (Basil Blackwell, Oxford, 1977)."},{"key":"325543_CR17","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"W. Lenzen, Recent work in epistemic logic, Acta Philos. Fennica 30 (1978) 1-219.","journal-title":"Acta Philos. Fennica"},{"issue":"3","key":"325543_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H.J. Levesque","year":"1990","unstructured":"H.J. Levesque, All I know: a study in auto-epistemic logic, Artif. Intell. 42(3) (1990) 263-309.","journal-title":"Artif. Intell."},{"key":"325543_CR19","volume-title":"Mathematical Interpretation of Formal Systems","author":"J. \u0141o\u015b","year":"1955","unstructured":"J. \u0141o\u015b, Quelques remarques, th\u00e9or\u00e8mes et probl\u00e8mes sur les classes d\u00e9finissables d'alg\u00e8bres, in: Mathematical Interpretation of Formal Systems, eds. Th. Skolem et al. (North-Holland, Amsterdam, 1955)."},{"key":"325543_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore, Semantical considerations on non-monotonic logic, Artif. Intell. 25 (1985) 75-94.","journal-title":"Artif. Intell."},{"key":"325543_CR21","doi-asserted-by":"crossref","unstructured":"S. Popkorn, First Steps in Modal Logic (Cambridge University Press, 1994).","DOI":"10.1017\/CBO9780511983382"},{"key":"325543_CR22","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0004-3702(94)90013-2","volume":"67","author":"G. Schwarz","year":"1994","unstructured":"G. Schwarz and M. Truszczy\u0144ski, Minimal knowledge problem: a new approach, Artif. Intell. 67 (1994) 113-141.","journal-title":"Artif. Intell."},{"key":"325543_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(93)90104-J","volume":"64","author":"R. Stalnaker","year":"1993","unstructured":"R. Stalnaker, A note on non-monotonic modal logic, Artif. Intell. 64 (1993) 183-196.","journal-title":"Artif. Intell."},{"key":"325543_CR24","volume-title":"Modal Logic and Classical Logic","author":"J. van Benthem","year":"1983","unstructured":"J. van Benthem, Modal Logic and Classical Logic (Bibliopolis, Napoli, 1983)."},{"issue":"3","key":"325543_CR25","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF00372771","volume":"56","author":"W. van der Hoek","year":"1996","unstructured":"W. van der Hoek, J.O.M. Jaspars and E.G.C. Thijsse, Honesty in partial logic, Studia Logica 56(3) (1996) 323-360.","journal-title":"Studia Logica"},{"key":"325543_CR26","first-page":"509","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI'85)","author":"M. Vardi","year":"1985","unstructured":"M. Vardi, A model-theoretic analysis of monotonic knowledge, in: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI'85), ed. A. Joshi (Morgan Kaufmann, San Mateo, CA, 1985) pp. 509-512."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018967130652.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018967130652\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018967130652.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:36:50Z","timestamp":1747546610000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018967130652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":26,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["325543"],"URL":"https:\/\/doi.org\/10.1023\/a:1018967130652","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}