Johan van Benthem


Home / Activities / Publications / Teaching / Research / Talks


Publications: Papers in Journals: 2000s

1990s 2000    2001    2002     2003    2004    2005     2006    2007    2008     2009 2010s



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).



Universiteit van Amsterdam Logic in Action Stanford University ILLC

Back to the top

Back to Home