Persistence and minimality in epistemic logic

Annals of Mathematics and Artificial Intelligence

Volumn 27, Issue 1-4, 1999, Pages 25-47

  Van Der Hoek, Wiebe ^a   Jaspars, Jan ^b   Thijsse, Elias ^c  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c TILBURG UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033271049     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018967130652     Document Type: Article

References (26)

1. H. Andréka, J. van Benthem and I. Németi, Back and forth between modal logic and classical logic, J. of the IGPL 3(5) (1995) 685-720.
2. B.F. Chellas, Modal Logic. An Introduction (Cambridge University Press, 1980).
3. H.-D. Ebbinghaus and J. Flum, Finite Model Theory (Springer-Verlag, Berlin, 1995).
4. 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.
5. K. Fine, Normal forms in modal logic, Notre Dame J. Formal Logic 16 (1975) 229-237.
6. M. Fitting, Intuitionistic Logic, Model theory and Forcing (North-Holland, Amsterdam, 1969).
7. 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.
8. J.Y. Halpern, Theory of knowledge and ignorance for many agents, J. Logic Comput. 7(1) (1997) 79-108.
9. 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).
10. M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, J. Assoc. Comput. Mach. 32 (1985) 137-161.
11. J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions (Cornell University Press, Ithaca, NY, 1962).
12. G. Hughes and M. Cresswell, A Companion to Modal Logic (Methuen, London, 1984).
13. 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).
14. J. Jaspars and E. Thijsse, Fundamentals of partial modal logic, in: Partiality, Modality, Non-monotonicity, ed. P. Doherty, Studies in Logic, Language and Information (CSLI Publications, Stanford, 1996) pp. 111-141.
15. K. Konolige, On the relation between default and autoepistemic logic, Artif. Intell. 35 (1989) 343-382.
16. E. Lemmon and D. Scott, The Lemmon Notes: An Introduction to Modal Logic, ed. K. Segerberg (Basil Blackwell, Oxford, 1977).
17. W. Lenzen, Recent work in epistemic logic, Acta Philos. Fennica 30 (1978) 1-219.
18. H.J. Levesque, All I know: a study in auto-epistemic logic, Artif. Intell. 42(3) (1990) 263-309.
19. J. Łoś, Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres, in: Mathematical Interpretation of Formal Systems, eds. Th. Skolem et al. (North-Holland, Amsterdam, 1955).
20. R.C. Moore, Semantical considerations on non-monotonic logic, Artif. Intell. 25 (1985) 75-94.
21. S. Popkorn, First Steps in Modal Logic (Cambridge University Press, 1994).
22. G. Schwarz and M. Truszczyński, Minimal knowledge problem: a new approach, Artif. Intell. 67 (1994) 113-141.
23. R. Stalnaker, A note on non-monotonic modal logic, Artif. Intell. 64 (1993) 183-196.
24. J. van Benthem, Modal Logic and Classical Logic (Bibliopolis, Napoli, 1983).
25. W. van der Hoek, J.O.M. Jaspars and E.G.C. Thijsse, Honesty in partial logic, Studia Logica 56(3) (1996) 323-360.
26. 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.