Descriptions of Game Actions
暂无分享,去创建一个
[1] R. Goldblatt. Logics of Time and Computation , 1987 .
[2] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .
[3] David Peleg,et al. Concurrent dynamic logic , 1985, STOC '85.
[4] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[5] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[6] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[7] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[8] H. V. Ditmarsch. The semantics of actions in knowledge games , 1999 .
[9] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..
[10] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[11] Rohit Parikh. Knowledge and the Problem of Logical Omniscience , 1987, ISMIS.
[12] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[13] David Peleg,et al. Concurrent dynamic logic , 1987, JACM.
[14] van Ditmarsch. The logic of knowledge games : showing a cardHans , 1999 .