2000 |
Information Transfer Across Chu Spaces.
Logic Journal of the IGPL
8:6,
pags 719-731.
(Text available).
|
|
2001 |
Games in Dynamic Epistemic Logic.
Bulletin of Economic Research (Proceedings LOFT-4, Torino)
53:4,
pags 219-248.
|
Action and Procedure in Reasoning.
Cardozo Law Review
22,
pags 1575-1593.
(Text available).
|
|
2002 |
Logic in Action, 5 jaar later.
Alg. Ned's Tijdschrift voor Wijsbegeerte
2,
pags 146-150.
|
Extensive Games as Process Models.
Journal of Logic, Language and Information
11:3,
pags 289-313.
|
|
2003 |
A Modal Walk through Space.
Journal of Applied Non-Classical Logic
12:3-4,
pags 319-363.
[with Marco Aiello].
(Text available).
|
Connecting the Different Faces of Information (editorial guest-edited volume).
Journal of Logic, Language and Information
12:4,
pags .
[with Robert van Rooy].
|
Conditional Probability Meets Update Logic.
Journal of Logic, Language and Information
12:4,
pags 409-421.
(Text available).
|
Logic Games are Complete for Game Logics.
Studia Logica
75,
pags 183-203.
(Text available).
|
Logic and the Dynamics of Information.
Minds and Machines
13:4,
pags 503-519.
(Text available).
|
Euclidean Hierarchy in Modal Logic.
Studia Logica
75,
pags 327-344.
[with G. Bezhanishvili and M. Gehrke].
(Text available).
|
Reasoning About Space: The Modal Way.
Logic and Computation
13:6,
pags 889-920.
[with Marco Aiello and Guram Bezhanishvili].
(Text available).
|
|
2004 |
A Mini-Guide to Logic in Action.
Philosophical Researches 2004
:,
pags 21-30.
(Text available).
|
What One May Come to Know.
Analysis
64:2,
pags 95-105.
(Text available).
|
Diversity of Logical Agents in Games.
Philosophia Scientiae
8:2,
pags 163-178.
[with Fenrong Liu].
(Text available).
|
|
2005 |
Minimal Predicates, Fixed-Points, and Definability.
Journal of Symbolic Logic
70:3,
pags 696-712.
(Text available).
|
Guards, Bounds, and Generalized Semantics.
Journal of Logic, Language and Information
14:3,
pags 263-279.
(Text available).
|
|
2006 |
Epistemic Logic and Epistemology: the state of their affairs.
Philosophical Studies
128:1,
pags 49-76.
(Text available).
|
Modal Frame Correspondences and Fixed-Points.
Studia Logica
83:1,
pags 133-155.
(Text available).
|
Where is Logic Going, and Should It?
Topoi
25:1-2,
pags 117 - 122.
(Text available).
|
Logics of Communication and Change.
Information and Computation
204:11,
pags 1620 - 1662.
[with Jan van Eijck and Barteld Kooi].
(Text available).
|
Epistemic Logic and Epistemology: the state of their affairs (chinese translation).
World Philosophy
6,
pags 73 - 83.
|
|
2007 |
Rationalizations and Promises in Games.
Philosophical Trends ('supplement 2006' on logic),
pags 1-6.
(Text available).
|
Introduction.
Topoi (special issue on Logic and Psychology)
26:1-2,
pags .
[with co-editors Helen Hodges and Wilfrid Hodges].
|
Multimodal Logics of Products of Topologies.
Studia Logica
84,
pags 369-392.
[with Guram Bezhanishvili, Balder ten Cate and Darko Sarenac].
(Text available).
|
Rational Dynamics and Epistemic Logic in Games.
International Game Theory Review
9:1,
pags 13-45.
(Erratum reprint, 9:2, pags 377-409).
(Text available).
|
Dynamic Logic of Belief Revision.
Journal of Applied Non-Classical Logics
17:2,
pags 129-155.
(Text available).
|
Dynamic Logic of Preference Upgrade.
Journal of Applied Non-Classical Logics
17:2,
pags 157-182.
[with Fenrong Liu].
(Text available).
|
A New Modal Lindström Theorem.
Logica Universalis
1,
pags 125-138.
(Text available).
|
|
2008 |
Editorial.
Synthese
160:1,
pags 1-4.
[with Vincent Hendricks and John Symons].
|
Logic and Reasoning: do the facts matter?.
Studia Logica
88,
pags 67-84.
(Text available).
|
Tell It Like It Is: Information Flow in Logic.
Journal of Peking University (Humanities and Social Science Edition)
1,
pags 80 - 90.
(Text available).
|
Inference in Action.
Publications de l’Institut Mathématique
Nouvelle Série 82:96,
pags 3-16.
(Text available).
|
Abduction at the Interface of Logic and Philosophy of Science.
Theoria
22:3,
pags 271-273.
(Text available).
|
Merging Observation and Access in Dynamic Epistemic Logic.
Studies in Logic
1:1,
pags 1-16.
(Text available).
|
The Information in Intuitionistic Logic.
Synthese
167:2,
pags 251-270.
(Text available).
|
The Many Faces of Interpolation.
Synthese
164:3,
pags 451 - 460.
(Text available).
|
Logic and Philosophy in the Century That Was.
Theoria
:,
pags .
(Text available).
|
Modal Logic and Invariance.
Journal of Applied Non-Classical Logics
18:2-3,
pags 153-173.
[with Denis Bonnay].
(Text available).
|
Modeling Simultaneous Games in Dynamic Logic.
Synthese (KRA)
165:2,
pags 247-268.
[with Sujata Ghosh and Fenrong Liu].
(Text available).
|
Constanten, of Variablen, van het Logische Denken.
ANTW
100:4,
pags 296-304.
(Text available).
|
Logical Pluralism Meets Logical Dynamics?
The Australasian Journal of Logic
6,
pags 182-209.
(Text available).
|
|
2009 |
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.
Journal of Philosophical Logic
38:1,
pags 83-125.
[with Patrick Girard and Olivier Roy].
(Text available).
|
Merging Frameworks for Interaction.
Journal of Philosophical Logic.
38:5,
pags 491-526.
[with Jelle Gerbrandy, Tomohiro Hoshi and Eric Pacuit].
(Text available).
|
The Information in Intuitionistic Logic.
Synthese.
167:2,
pags 251-270.
(Text available).
|
Logic and Intelligent Interaction, Editorial.
Synthese (Knowledge, Rationality & Action).
169:2,
pags 219 - 221.
[with Thomas Agotnes & Eric Pacuit].
|
Lindström Theorems for Fragments of First-Order Logic.
Logical Methods in Computer Science.
5:3,
pags 1-27.
[with Balder ten Cate and Jouko Väänänen].
|
Dynamic Update with Probabilities.
Studia Logica.
93:1,
pags 67-96.
[with Jelle Gerbrandy and Barteld Kooi].
(Text available).
|
|