Documents Related by Co-Citation

1517 M.: Reasoning about Knowledge – R Fagin, J Halpern, Y Moses, Vardi - 1995
237 The logic of public announcements, common knowledge, and private suspicions – Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki - 1999
15 Exploring the update universe – Ji Ruan - 2004
499 Finite Model Theory – H EBBINGHAUS, J FLUM - 1995
87 Logics of communication and change – Johan Van Benthem, Jan Van Eijck, Barteld Kooi - 2005
446 Modal Logic – P Blackburn, M deRijke, Y Venema - 2003
408 On the Difference between Updating a Knowledge Base and Revising it – Hirofumi Katsuno, Alberto O. Mendelzon
1082 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960
2359 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990