{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:58Z","timestamp":1725455938000},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018449","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"301-316","source":"Crossref","is-referenced-by-count":1,"title":["Theoretical circumscription in partial modal logic"],"prefix":"10.1007","author":[{"given":"Jan","family":"Jaspars","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"20_CR1","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise, J., Perry, J.. Situations and Attitudes, M.I.T. Press, Cambridge (USA), 1983."},{"key":"20_CR2","unstructured":"Barwise, J.. The Situation in Logic, CSLI Lecture Notes (No. 17), Stanford, 1989."},{"key":"20_CR3","unstructured":"van Benthem, J.F.A.K.. Modal Logic and Classical Logic, Bibliopolis, Napoli, 1983."},{"key":"20_CR4","first-page":"225","volume":"29","author":"J. Benthem van","year":"1986","unstructured":"van Benthem, J.. \u2018Partiality and non-monotonicity', Logique et Analyse 29, 225\u2013247, 1986.","journal-title":"Logique et Analyse"},{"key":"20_CR5","unstructured":"van Benthem, J.. A Manual of Intensional Logic, CSLI lecture Notes (No. 1), Stanford, 1988."},{"key":"20_CR6","volume-title":"Handbook of Philosophical Logic, vol. III","author":"S. Blamey","year":"1986","unstructured":"Blamey, S.. \u2018Partial logic', in: Gabbay and G\u00fcnthner (eds.), Handbook of Philosophical Logic, vol. III, Reidel, Dordrecht, 1986."},{"key":"20_CR7","volume-title":"Proc. of the Second workshop on User-modelling","author":"H.C. Bunt","year":"1990","unstructured":"Bunt, H.C.. \u2018Modular incremental modelling of belief and intention', in: Proc. of the Second workshop on User-modelling, University of Hawaii, Honolulu, 1990."},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"13","author":"M. Davis","year":"1980","unstructured":"Davis, M.. \u2018The mathematics of non-monotonic reasoning', Artificial Intelligence 13, 73\u201380, 1980.","journal-title":"Artificial Intelligence"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Fagin, R., Vardi, M.Y., An Internal Semantics for Modal Logic: Preliminary Report, CSLI Research Report (85-25), Stanford, 1985.","DOI":"10.1145\/22145.22179"},{"key":"20_CR10","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence","author":"R. Fagin","year":"1985","unstructured":"Fagin, R., Halpern, J.Y.. \u2018Belief, awareness and limited reasoning', in: Proceedings of the 9 th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1985."},{"key":"20_CR11","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y.. \u2018A model-theoretic analysis of knowledge', in: Proceedings of the 25 th IEEE Symposium on the Foundations of Computer Science, West Palm Beach, 1984."},{"key":"20_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical investigations in Heyting's intuitionistic logic","author":"D.M. Gabbay","year":"1981","unstructured":"Gabbay, D.M.. Semantical investigations in Heyting's intuitionistic logic, Reidel, Dordrecht, 1981."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Moses, Y.O., Towards a Theory of Knowledge and Ignorance, IBM Research Report RJ 4448, Almaden, 1984.","DOI":"10.1007\/978-3-642-82453-1_16"},{"key":"20_CR14","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","author":"J.Y. Halpern","year":"1986","unstructured":"Halpern, J.Y.. \u2018Reasoning about knowledge: an overview', in: Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, Morgan Kaufmann, Los Altos, 1986."},{"key":"20_CR15","unstructured":"Hintikka, J.. Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Cornell, 1962."},{"key":"20_CR16","unstructured":"Hughes, G.E., Cresswell, M.J.. A Companion to Modal Logic, Methuen, New York, 1984."},{"key":"20_CR17","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/BF00293423","volume":"10","author":"I. Humberstone","year":"1981","unstructured":"Humberstone, I., \u2018From worlds to possibilities', Journal of Philosophical Logic 10, 313\u2013339, 1981.","journal-title":"Journal of Philosophical Logic"},{"key":"20_CR18","unstructured":"Jaspars, J.O.M.. Theoretical Circumscription in Partial Modal Logic, ITK-research report, Tilburg University, Tilburg, to appear."},{"key":"20_CR19","unstructured":"Kamp, H.. A Scenic Tour through the Land of Naked Infinitives, Manuscript, 1983."},{"key":"20_CR20","unstructured":"Langholm, T.. Partiality, Truth and Persistence, CSLI Lecture Notes (No. 15), Stanford, 1988."},{"key":"20_CR21","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"Lenzen, W.. \u2018Recent work in epistemic logic', Acta Philosophica Fennica 30, 1\u2013219, 1978.","journal-title":"Acta Philosophica Fennica"},{"key":"20_CR22","unstructured":"Levesque, H.J.. \u2018All I know: an abridged report', in: Proceeding of the 6 th National Conference of the American Association for Artificial Intelligence, Seatle, 1987."},{"key":"20_CR23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.. \u2018Circumscription, a form of non-monotonic reasoning', in: Artificial Intelligence 13, 27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"20_CR24","volume-title":"Proc. of the 8th International Joint Conference on Artificial Intelligence","author":"R.C. Moore","year":"1983","unstructured":"Moore, R.C.. \u2018Semantical considerations on non-monotonic logic', in: Proc. of the 8 th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1983."},{"key":"20_CR25","unstructured":"Muskens, R.A.. Partiality and Meaning, PhD.-thesis, University of Amsterdam, 1989."},{"key":"20_CR26","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson, D.. \u2018Constructible falsity', Journal of Symbolic Logic, 14, 16\u201326, 1949.","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR27","volume-title":"Selected Logical Papers","author":"W.V.O. Quine","year":"1966","unstructured":"Quine, W.V.O.. Selected Logical Papers, Random House, New York, 1966."},{"key":"20_CR28","volume-title":"Reasoning about Action: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y.. Reasoning about Action: Time and Causation from the Standpoint of Artificial Intelligence, M.I.T. Press, Cambridge (USA), 1988."},{"key":"20_CR29","unstructured":"Thijsse, E.G.C.. \u2018Partial propositional and modal logic', in: Stokhof and Torenvliet (eds.), Proc. of the 7 th Amsterdam Colloquium, ITLI, Amsterdam, 1990."},{"key":"20_CR30","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R. Thomason","year":"1969","unstructured":"Thomason, R.. \u2018A semantical study of constructible falsity', Zeitschrift f\u00fcr Mathematischen Logik und Grundlagen der Mathematik 15, 247\u2013257, 1969.","journal-title":"Zeitschrift f\u00fcr Mathematischen Logik und Grundlagen der Mathematik"},{"key":"20_CR31","unstructured":"Veltman, F.. Logics for Conditionals, Ph.-D. thesis, University of Amsterdam, 1985."},{"key":"20_CR32","volume-title":"Topology via Logic","author":"S. Vickers","year":"1989","unstructured":"Vickers, S.. Topology via Logic, Cambridge University Press, Cambridge, 1989."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018449","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:36:48Z","timestamp":1586572608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018449"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0018449","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}