This research is supported by the programme ‘Dialogue management and knowledge acquisition’ (DenK) of the Tilburg-Eindhoven Organization for Inter-University Cooperation (SOBU).
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Perry, J.. Situations and Attitudes, M.I.T. Press, Cambridge (USA), 1983.
Barwise, J.. The Situation in Logic, CSLI Lecture Notes (No. 17), Stanford, 1989.
van Benthem, J.F.A.K.. Modal Logic and Classical Logic, Bibliopolis, Napoli, 1983.
van Benthem, J.. ‘Partiality and non-monotonicity', Logique et Analyse 29, 225–247, 1986.
van Benthem, J.. A Manual of Intensional Logic, CSLI lecture Notes (No. 1), Stanford, 1988.
Blamey, S.. ‘Partial logic', in: Gabbay and Günthner (eds.), Handbook of Philosophical Logic, vol. III, Reidel, Dordrecht, 1986.
Bunt, H.C.. ‘Modular incremental modelling of belief and intention', in: Proc. of the Second workshop on User-modelling, University of Hawaii, Honolulu, 1990.
Davis, M.. ‘The mathematics of non-monotonic reasoning', Artificial Intelligence 13, 73–80, 1980.
Fagin, R., Vardi, M.Y., An Internal Semantics for Modal Logic: Preliminary Report, CSLI Research Report (85-25), Stanford, 1985.
Fagin, R., Halpern, J.Y.. ‘Belief, awareness and limited reasoning', in: Proceedings of the 9 th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1985.
Fagin, R., Halpern, J.Y., Vardi, M.Y.. ‘A model-theoretic analysis of knowledge', in: Proceedings of the 25 th IEEE Symposium on the Foundations of Computer Science, West Palm Beach, 1984.
Gabbay, D.M.. Semantical investigations in Heyting's intuitionistic logic, Reidel, Dordrecht, 1981.
Halpern, J.Y., Moses, Y.O., Towards a Theory of Knowledge and Ignorance, IBM Research Report RJ 4448, Almaden, 1984.
Halpern, J.Y.. ‘Reasoning about knowledge: an overview', in: Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, Morgan Kaufmann, Los Altos, 1986.
Hintikka, J.. Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Cornell, 1962.
Hughes, G.E., Cresswell, M.J.. A Companion to Modal Logic, Methuen, New York, 1984.
Humberstone, I., ‘From worlds to possibilities', Journal of Philosophical Logic 10, 313–339, 1981.
Jaspars, J.O.M.. Theoretical Circumscription in Partial Modal Logic, ITK-research report, Tilburg University, Tilburg, to appear.
Kamp, H.. A Scenic Tour through the Land of Naked Infinitives, Manuscript, 1983.
Langholm, T.. Partiality, Truth and Persistence, CSLI Lecture Notes (No. 15), Stanford, 1988.
Lenzen, W.. ‘Recent work in epistemic logic', Acta Philosophica Fennica 30, 1–219, 1978.
Levesque, H.J.. ‘All I know: an abridged report', in: Proceeding of the 6 th National Conference of the American Association for Artificial Intelligence, Seatle, 1987.
McCarthy, J.. ‘Circumscription, a form of non-monotonic reasoning', in: Artificial Intelligence 13, 27–39, 1980.
Moore, R.C.. ‘Semantical considerations on non-monotonic logic', in: Proc. of the 8 th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1983.
Muskens, R.A.. Partiality and Meaning, PhD.-thesis, University of Amsterdam, 1989.
Nelson, D.. ‘Constructible falsity', Journal of Symbolic Logic, 14, 16–26, 1949.
Quine, W.V.O.. Selected Logical Papers, Random House, New York, 1966.
Shoham, Y.. Reasoning about Action: Time and Causation from the Standpoint of Artificial Intelligence, M.I.T. Press, Cambridge (USA), 1988.
Thijsse, E.G.C.. ‘Partial propositional and modal logic', in: Stokhof and Torenvliet (eds.), Proc. of the 7 th Amsterdam Colloquium, ITLI, Amsterdam, 1990.
Thomason, R.. ‘A semantical study of constructible falsity', Zeitschrift für Mathematischen Logik und Grundlagen der Mathematik 15, 247–257, 1969.
Veltman, F.. Logics for Conditionals, Ph.-D. thesis, University of Amsterdam, 1985.
Vickers, S.. Topology via Logic, Cambridge University Press, Cambridge, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jaspars, J. (1991). Theoretical circumscription in partial modal logic. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018449
Download citation
DOI: https://doi.org/10.1007/BFb0018449
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53686-4
Online ISBN: 978-3-540-46982-7
eBook Packages: Springer Book Archive