| 2007 | Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. | Thomas gotnes, Natasha Alechina |
| 2005 | Semantics for multi-agent only knowing: extended abstract. | Arild Waaler, Bjrnar Solhaug |
| 2005 | Decisions under subjective information. | Jack Stecher |
| 2005 | Individual error, group error, and the value of information. | Itai Sher |
| 2005 | Deciding knowledge properties of security protocols. | Ramaswamy Ramanujam, S. P. Suresh |
| 2005 | Aggregating partially ordered preferences: impossibility and possibility results. | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
| 2005 | Logical omniscience and common knowledge: WHAT do we know and what do WE know? | Rohit Parikh |
| 2005 | Exponential communication inefficiency of demand queries. | Noam Nisan, Ilya Segal |
| 2005 | Continuous consensus via common knowledge. | Tal Mizrahi, Yoram Moses |
| 2005 | Harsanyi type spaces with knowledge operators. | Martin Meier |
| 2005 | Inductive inference as ampliative and non monotonic reasoning. | Isaac Levi |
| 2005 | Understanding human strategies for change: an empirical study. | Alankar Karol, Mary-Anne Williams |
| 2005 | Games in system design and verification. | Thomas A. Henzinger |
| 2005 | Stochastic uncoupled dynamics and nash equilibrium: extended abstract. | Sergiu Hart, Andreu Mas-Colell |
| 2005 | Interactive unawareness revisited. | Joseph Y. Halpern, Leandro Chaves Rgo |
| 2005 | The communication cost of selfishness: ex post implementation. | Ronald Fadel, Ilya Segal |
| 2005 | Unconditional privacy in social choice. | Felix Brandt, Tuomas Sandholm |
| 2005 | Common knowledge in update logics. | Johan van Benthem, Jan van Eijck, Barteld P. Kooi |
| 2005 | On epistemic logic with justification. | Sergei N. Artmov, Elena Nogina |
| 2005 | First-order classical modal logic: applications in logics of knowledge and probability. | Horacio L. Arl-Costa, Eric Pacuit |
| 2005 | Order independence and rationalizability. | Krzysztof R. Apt |
| 2005 | Complexity results for logics of local reasoning and inconsistent belief. | Martin Allen |
| 2003 | Enumerative induction. | Wolfgang Spohn |
| 2003 | Iterated backward inference: an algorithm for proper rationalizability. | Oliver Schulte |
| 2003 | Being polite is a handicap: towards a game theoretical analysis of polite linguistic behavior. | Robert van Rooy |