One is a Lonely Number: on the logic of communication

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka, Istvàn Németi, Johan van Benthem · Journal of Philosophical Logic · 1998 · 601 citations

Humanities, Computer Science, Formal Methods +11

The complexity of reasoning about knowledge and time

Joseph Y. Halpern, Moshe Y. Vardi · 1986 · 187 citations · Full text

Computing, Computer Science, Knowledge Capture +4

DYNAMIC BITS AND PIECES

Johan van Benthem · 1997 · 82 citations

Computing, Computer Science, Computer Architecture +1

Bisimulation, modal logic and model checking games

Christine Stirling · Logic Journal of IGPL · 1999 · 75 citations

Computing, Computer Science, Formal Methods +15