A general approach to multi-agent minimal knowledge: With tools and samples

Studia Logica

Volumn 72, Issue 1, 2002, Pages 61-84

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

^a UTRECHT UNIVERSITY   (Netherlands)

^b TILBURG UNIVERSITY   (Netherlands)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Disjunction property; Honesty; Minimal models; Modal logic; Multi agent minimal knowledge; Stable expansions

Indexed keywords

EID: 16244410005     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1020578025481     Document Type: Article

References (13)

1. H.-D. Ebbinghaus & J. Flum, Finite model theory, Springer-Verlag, Berlin, 1995.
2. J.Y. Halpern, 'Theory of knowledge and ignorance for many agents', in Journal of Logic and Computation, 7 No. 1, pp. 79-108, 1997.
3. J.Y. Halpern & Y. Moses, 'Towards a theory of knowledge and ignorance', in Kr. Apt (ed.) Logics and Models of Concurrent Systems, Springer-Verlag, Berlin, 1985.
4. M. Hennessy & R. Milner, 'Algebraic laws for nondeterminism and concurrency', Journal of the ACM 32, pp.137-161, 1985.
5. W. van der Hoek, J. O. M. Jaspars, & E. G. C. Thijsse, 'Honesty in Partial Logic'. Studia Logica, 56 (3), 323-360, 1996. Extended abstract in proceedings of KR'94.
6. W. van der Hoek, J. O. M. Jaspars, & E. G. C. Thijsse, 'Persistence and Minimality in Epistemic Logic', Annals of Mathematics and Artificial Intelligence, 27 (1999), pp. 25-47, 2000.
7. Extended abstract in J. Dix, U. Furbach, L. Farinas del Cerro (eds.), Logics in Artificial Intelligence. Proceedings JELIA '98, Springer Verlag, LNAI 1489.
8. W. van der Hoek, J. Jaspars and E. Thijsse, 'A General Approach to Multi-Agent Minimal Knowledge', in M. Ojeda-Aciego, I. P. Guzmán, G. Brewka and L. M. Pereira, (eds.) Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA 2000), LNAI 1919, pp. 254-268, Springer-Verlag, Heidelberg (2000).
9. G. Lakemeyer, 'All they know: a study in multi-agent auto epistemic reasoning', IJCAI'93, pp. 376-381, 1993.
10. H. J. Levesque, 'All I know: a study in auto-epistemic logic', in Artificial Intelligence, 42(3), pp. 263-309, 1990.
11. R. Parikh, 'Monotonic and nonmonotonic logics of knowledge', Fundamenta Informaticae 15, pp. 255-274, 1991.
12. G. Schwarz & M. Truszczyński, 'Minimal knowledge problem: a new approach', Artificial Intelligence 67, pp. 113-141, 1994.
13. M. Vardi, 'A model-theoretic analysis of monotonic knowledge', IJCAI85, pp. 509-512, 1985.