|
965
|
Reasoning About Knowledge
– Fagin, Halpern, et al.
- 1994
|
|
947
|
A Logic for Authentication
– Burrows, Abadi, et al.
- 1990
|
|
766
|
Logic and conversation
– Grice
- 1975
|
|
673
|
A Course in Game Theory
– Osborne, Rubinstein
- 1994
|
|
414
|
Knowledge and common knowledge in a distributed environment
– Halpern, Moses
- 1984
|
|
295
|
Knowledge and Belief
– Hintikka
- 1962
|
|
169
|
Reasoning About Belief in Cryptographic Protocols
– Gong, Needham, et al.
- 1990
|
|
167
|
All I know: a study in autoepistemic logic
– Levesque
- 1990
|
|
146
|
Convention: A Philosophical Study
– Lewis
- 1969
|
|
98
|
Fun and Games, a Text on Game Theory
– Binmore
- 1992
|
|
92
|
Relevance logic and entailment
– Dunn
- 1986
|
|
91
|
Bisimulations on Planet Kripke
– GERBRANDY
- 1999
|
|
74
|
A guide to the modal logic of knowledge and belief
– Halpern, Moses
- 1985
|
|
53
|
The Use of Logic in the Analysis of Cryptographic Protocols
– Syverson
- 1991
|
|
52
|
Epistemic conditions for Nash equilibrium
– Aumann, Brandenburger
- 1995
|
|
52
|
A survey of symbolic logic
– Lewis
- 1918
|
|
52
|
Epistemic Logic for
– Meyer, Hoek
- 1995
|
|
44
|
Logic of games and its applications
– Parikh
- 1985
|
|
43
|
Knowledge Games
– Ditmarsch
- 2000
|
|
37
|
A little knowledge goes a long way: Simple knowledgebased derivations and correctness proofs for a family of protocols
– Halpern, Zuck
- 1987
|
|
34
|
Towards a theory of knowledge and ignorance
– Halpern, Moses
- 1984
|
|
26
|
Game theory
– Aumann
- 1989
|
|
22
|
Formal semantics for authentication logics
– Wedel, Kessler
- 1996
|
|
20
|
Formalization of Two Puzzles Involving Knowledge
– McCarthy
- 1990
|
|
19
|
Interactive epistemology I: Knowledge
– Aumann
- 1999
|
|
17
|
A theory of knowledge and ignorance for many agents
– Halpern
- 1997
|
|
15
|
A semantics for ban logic
– Bleeker, Meertens
- 1997
|
|
15
|
Rationality and knowledge in game theory
– Dekel, Gul
- 1997
|
|
14
|
A knowledge-based algorithm for the internet protocol TCP
– Stulp, Verbrugge
- 2002
|
|
12
|
Recent results on belief, knowledge and the epistemic foundations of game theory
– Battigalli, Bonano
- 1998
|
|
12
|
Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic
– Hintikka
- 1986
|
|
11
|
A model-theoretic analysis of monotonic knowledge
– Vardi
- 1985
|
|
6
|
On BAN logics for industrial security protocols
– Agray, Hoek, et al.
- 2001
|
|
6
|
Persistence and minimality in epistemic logic
– Hoek, Jaspars, et al.
- 1999
|
|
6
|
Solution of a number theoretic problem involving knowledge
– Panti
- 1991
|
|
6
|
An Essay in Modal Logic
– Wright
- 1951
|
|
4
|
Opponent modeling and dynamic epistemic logic in games with imperfect information. M.Sc. thesis, in preparation
– Druiven
- 2002
|
|
4
|
Group knowledge is not always distributed (neither is it always implicit). Mathematical social sciences
– Meyer
- 1999
|
|
4
|
A general approach to multi-agent minimal knowledge: with tools and samples. Studia Logica
– Hoek, Thijsse
- 2002
|
|
4
|
Spreading Gossip Efficiently. Nieuw Archief voor Wiskunde
– Hurkens
- 2000
|
|
3
|
Ditmarsch. Descriptions of game actions. accepted
– van
- 2001
|
|
3
|
game theory and social choice
– Logic
- 1977
|
|
2
|
A logic for supicious players: Epistemic actions and belief updates in games
– Baltag
- 2001
|
|
2
|
The description of game actions in cluedo. submitted
– Ditmarsch
- 2001
|
|
2
|
the foundations of game and decision theory (LOFT). http://www. econ. ucdavis. edu/f aculty/bonanno/lof t. html
– Logic
- 1989
|
|
2
|
Dynamic-epistemic logic of games
– Benthem
- 2001
|
