Honesty in partial logic

Studia Logica

Volumn 56, Issue 3, 1996, Pages 323-360

  Van Wlebe Hoek, D E R ^a   Jaspars, J A N ^b   Thijsse, Elias ^c  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c TILBURG UNIVERSITY   (Netherlands)

Author keywords

Circumscription; Honesty; Modal logic; Partial models; Stable sets

Indexed keywords

EID: 0042911166     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/bf00372771     Document Type: Article

References (21)

1. Aczel, P. 'Saturated intuitionistic theories', in : H. Schmidt, K. Schütte &: H. Thielle (eds.) Contributions to Mathematical Logic, 1-13, North-Holland, Amsterdam, 1968.
2. Barwise, J. &: Perry, J., Situations and Attitudes, MIT Press, Cambridge (USA), 1983.
3. Benthem, J. van, Language in Action. Categories, Lambdas and Dynamic Logic, North-Holland, Amsterdam, 1991.
4. Blarney, S., 'Partial Logic', in: Gabbay fe Günthner (eds) Handbook of Philosophical Logic, volume 3, Reidel, Dordrecht, 1986.
5. Halpern, J. & Y. Moses, 'Towards a theory of knowledge and ignorance', in Kr. Apt (ed.) Logics and Models of Concurrent Systems, Springer-Verlag, Berlin, 1985.
6. Hughes, G. & M. Cresswell - A Companion to Modal Logic, Methuen, London, 1984.
7. Hoek, W. van der, J. Jaspars & E. Thijsse, 'Honesty in Partial Logic', in J. Doyle, E. Sandewall, P. Torasso (eds.) Proceedings of the fourth international conference on Principles of Knowledge Representation and Reasoning (KR'94), Morgan Kaufmann, San Francisco, 1994, 583-594.
8. Jaspars, J., 'Theoretical circumscription in partial modal logic', in: J. van Eijck (ed.), Logics in AI, Proceedings JELIA'90, 301-316, LNCS478, Springer-Verlag, Berlin, 1991.
9. Jaspars, J., 'A generalization of stability and its application to circumscription of positive introspective knowledge', Proceedings of the Ninth Workshop on Computer Science Logic (CSL'90), Springer-Verlag, Berlin, 1991.
10. Jaspars, J., 'Normal forms in partial modal logic', in: C. Rauszer (ed.), Algebraic Methods in Logic and in Computer Science, Banach Center Publications, volume 28, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 1993.
11. Jaspars, J., Calculi for Constructive Communication: A Study of the Dynamics of Partial States, doctoral dissertation, ILLC Dissertation Series 1994-4 & ITK Dissertation Series 1994-1, Amsterdam, 1994.
12. Jaspars, J. & E. Thijsse, 'Fundamentals of Partial Modal Logic", in P. Doherty (ed.) Partiality, Modality, Nonmonotonicity, CSLI Publications, Studies in Logic, Language and Information (to appear).
13. Langholm, T., Partiality, Truth and Persistence, CSLI Lecture Notes No. 15, Stanford CA, 1988.
14. Moore, R., 'Semantical considerations on non-monotonic logic', Artificial Intelligence 25, 75-94, 1985.
15. Schwarz, G. & M. Truszczyński, 'Modal logic S4F and the minimal knowledge paradigm', in Y. Moses (ed.), Proceedings of TASK 4, (Monterey CA), Morgan Kaufmann, Palo Alto CA, 1992.
16. Stalnaker, R., 'A note on non-monotonic modal logic, Artificial Intelligence 64, 183-196, 1993
17. Stirling, C., 'Modal logics for communication systems', Theoretical Computer Science 49, 311-347, 1987.
18. Stoy, J., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, The M.I.T. Series in Computer Science, M.I.T. Press, Cambridge MA, 1977.
19. th Amsterdam Colloquium, volume 2, 555-579, ITLI, Amsterdam, 1990.
20. Thijsse, E., Partial logic and knowledge representation, doctoral dissertation, Eburon Publishers, Delft, 1992.
21. Thomason, R.H. 'On the strong semantical completeness proof of intuitionistic predicate logic', Journal of Symbolic Logic 33:1, 1-7, 1968.