Reasoning about common knowledge with infinitely many agents

Information and Computation

Volumn 191, Issue 1, 2004, Pages 1-40

  Halpern, Joseph Y ^a   Shore, Richard A ^b  

^a School of Operations Research and Information Engineering   (United States)

^b NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; INTELLIGENT AGENTS; LARGE SCALE SYSTEMS; MATHEMATICAL OPERATORS; SEMANTICS;

AXIOMATIZATION; CARDINALITY; EUCLIDEAN PROPERTY; MODAL OPERATORS;

KNOWLEDGE ACQUISITION;

EID: 2442713870     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2004.01.003     Document Type: Article

References (11)

1. R.J. Aumann, Agreeing to disagree, Annals of Statistics 4 (6) (1976) 1236-1239.
2. B.F. Chellas, Modal Logic, Cambridge University Press, Cambridge, UK, 1980.
3. R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, MA, 1995.
4. R. Fagin, J.Y. Halpern, M.Y. Vardi, What can machines know? On the properties of knowledge in distributed systems, Journal of the ACM 39 (2) (1992) 328-376.
5. M.J. Fischer, R.E. Ladner, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences 18 (2) (1979) 194-211.
6. J. Geanakoplos, Common knowledge, in: R. Aumann, S. Hart (Eds.), Handbook of Game Theory, Vol. 2, Elsevier, Amsterdam, 1994, pp. 1437-1496.
7. J.Y. Halpern, The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic, Artificial Intelligence 75 (2) (1995) 361-372.
8. J.Y. Halpern, R. van der Meyden, A logic for SDSI's linked local name spaces, Journal of Computer Security 9 (1,2) (2001) 47-74.
9. J.Y. Halpern, R. van der Meyden, F. Schneider, Logical foundations for trust management, unpublished manuscript, 1999.
10. J.Y. Halpern, Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 (1992) 319-379.
11. R. Rivest, B. Lampson, SDSI - a simple distributed security infrastructure, 1996. Available from http://theory.lcs.mit.edu/~cis/sdsi.html.