Documents Related by Co-Citation

1500 Reasoning about Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 2003
19 Exploring the update universe – Ji Ruan - 2004
237 The logic of public announcements, common knowledge, and private suspicions – Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki - 1999
6 Reducing dynamic epistemic logic to PDL by program transformation – J v Eijck - 2004
165 Bisimulations on Planet Kripke – J Gerbrandy - 1999
85 Logics of communication and change – Johan Van Benthem, Jan Van Eijck, Barteld Kooi - 2005
30 Benthem. Reduction axioms for epistemic actions – B Kooi, J van - 2004
27 Logic and bisimulation – M Hollenberg - 1998
38 Logics of Time and Computation, Second Edition, Revised and Expanded – R Goldblatt - 1992
13 Knowledge Games – H v Ditmarsch - 2000
11 Language, logic, and communication – J v Benthem - 2001
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
357 Three partition refinement algorithms – R Paige, R E Tarjan - 1987
283 An n · log n algorithm for minimizing the states in a finite automaton – J E Hopcroft - 1971
633 Modal Logic: An Introduction – B F Chellas - 1980
46 A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games – Alexandru Baltag - 2000
217 Defaults in Update Semantics – Frank Veltman - 1996
32 The undecidability of iterated modal relativization – Joseph S. Miller, Lawrence S. Moss - 2003
8 Internalizing Epistemic Actions – B ten Cate - 2002