The Russian Cards Problem

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

A logic of authentication

Michael T. Burrows, Martı́n Abadi, Roger M. Needham · ACM Transactions on Computer Systems · 1990 · 2.5K citations · Full text

Computing, Computer Science, Authentication +15

Reasoning about Information Change

Jelle Gerbrandy, Willem Groeneveld · Journal of Logic Language and Information · 1997 · 317 citations

Business, Information Systems, Knowledge Representation +3

Bisimulations on Planet Kripke

Jelle Gerbrandy · UvA-DARE (University of Amsterdam) · 1999 · 276 citations · Full text

Engineering, Physics, Orbital Mechanics +1

A Logic for Suspicious Players: Epistemic Actions and Belief–Updates in Games

Alexandru Baltag · Bulletin of Economic Research · 2002 · 73 citations

Social Sciences, Strategy, Epistemology +16