Expertise
Trefwoorden
Nieuwsberichten
- VIDI Grant
I have started working on my VID project ``A Formal Analysis of Social Procedures". The project includes funding for a Ph.D. position. Send me an email for more details.
Publicaties
Belangrijkste publicaties- Merging Frameworks for Interaction (with Johan van Benthem, Jelle Gerbrandy, and Tomohiro Hoshi), Journal of Philosophical Logic, 2009.
- Classical Systems of First-Order Modal Logic (with Horacio Arlo-Costa), Studia Logica, 84(2), pp. 171 - 210, 2006
- Understanding the Brandenburger-Keisler Belief Paradox, Studia Logica, 86(3), pp. 435 - 454, 2007.
- The Logic of Knowledge Based Obligation (with Rohit Parikh and Eva Cogan), Synthese, 149(2), pp. 311 - 341, 2006.
Klik hier voor een uitgebreide publicatielijst 
Opleiding
Ph.D. Computer Science, 2005
Graduate Center of the City University of New York
New York City, New York
Thesis Title: Topics in Social Software: Information in Strategic Situations
Thesis Supervisor: Rohit Parikh
Masters Mathematics, 2000
Case Western Reserve University
Cleveland, Ohio
B.S. Mathematics, 1998
Ohio University Honors Tutorial College
Athens, Ohio
Publicaties
Belangrijkste publicaties- Merging Frameworks for Interaction (with Johan van Benthem, Jelle Gerbrandy, and Tomohiro Hoshi), Journal of Philosophical Logic, 2009.
- Classical Systems of First-Order Modal Logic (with Horacio Arlo-Costa), Studia Logica, 84(2), pp. 171 - 210, 2006
- Understanding the Brandenburger-Keisler Belief Paradox, Studia Logica, 86(3), pp. 435 - 454, 2007.
- The Logic of Knowledge Based Obligation (with Rohit Parikh and Eva Cogan), Synthese, 149(2), pp. 311 - 341, 2006.
Klik hier voor een uitgebreide publicatielijst
Nederlands / Dutch