Johan van BenthemHome / Activities / Publications / Teaching / Research / Talks |
Research
Modal logic, mathematics and computation
- Modal Correspondence Theory, PhD Thesis, 1977.
- Modal Logic and Classical Logic, Bibliopolis, Napoli, 1985.
- Handbook
of Modal Logic, Elsevier, Amsterdam, 2006.
Selected articles:
- Correspondence Theory, Handbook of Philosophical Logic, 1984, 167-247.
- Program Constructions that are Safe for Bisimulation, Studia Logica 60:2, 1998, 311-330.
-
Modal Languages and Bounded Fragments of Predicate Logic, Journal of Philosophical Logic 27:3, 1998, 217-274, with Hajnal Andreka & Istvan Nemeti.
- Guards, Bounds and Generalized Semantics, Journal of Logic, Language and Information 14, 2005, 263-279.
-
Minimal Predicates, Fixed-Points and Definability, Journal of Symbolic Logic 70:3, 2005, 696-712.
- Modal
Logic and Invariance, Journal of Applied
Non-Classical Logics 18, 153-173, 2008, with Denis
Bonnay.
-
Lindstrom Theorems for Fragments of First-Order Logic, LICS 5:3, 2009, 1-27, with Balder ten Cate & Jouko Vaananen.
- Sahlqvist
Correspondence for Modal Mu-Calculus, Studia Logica
100, 2012, 31-60, with Nick Bezhanishvili & Ian
Hodkinson.
- Tales From an Old Manuscript, J. van Eijck, et al., eds., 2016, Liber Amicorum Alberti, College Publications, London, 5-14.
- A Bimodal Perspective on Possibility Semantics, Logic and Computation 27:5, 2017, 1353-1389, with Nick Bezhanishvili & Wesley Holliday.
- The Modal Logic of Stepwise Removal, Reports on Symbolic Logic, 2020, DOI: 10.1017/S1755020320000258, with Chris Mierzewski & Francesca Zaffora Blando.
- An
Abstract Look at the Fixed-Point Theorem for Provability
Logic, 2022, Outstanding Contributions Volume for Dick
de Jongh, Springer, Dordrecht.
-
2 The Logic of Conditionals on Outback Trails, Logic Journal of the IGPL, 2022.
- Relational Patterns, Partiality, and Set Lifting in Modal Semantics, 2023, Outstanding Contributions Volume for Saul Kripke, Springer, Dordrecht.
- Modern Faces of Filtration, 2023, Outstanding Contributions Volume for Kit Fine, Springer, Dordrecht, with Nick Bezhanishvili.
Logic and natural language
- Essays in Logical Semantics, Kluwer, Dordrecht, 1986.
- Language in Action, Elsevier, Amsterdam, 1991, and revised version, MIT Press, Cambridge MA, 1995.
- Handbook
of Logic and Language, Elsevier, Amsterdam, 1997, 2010.
Selected articles:
- Determiners and Logic, Linguistics and Philosophy 6:4, 1983, 447-478.
- Questions about Quantifiers, Journal of Symbolic Logic 49:2, 1984, 443-466.
- Semantic Automata, D. de Jongh et al., eds., 1987, Studies in the Theory of Generalized Quantifiers and Discourse Representation, Foris, Dordrecht, 1-25.
-
2021.CV.54 Meaning, Interpretation and Inference, Synthese 73:3, 451-470.
-
The Lambek Calculus, R. Oehrle et al. eds., 1988, Categorial Grammars and Natural Language Structures, Reidel, Dordrecht, 35-68.
- Categorial
Grammar and Type Theory, Journal of Philosophical
Logic, 19:2, 1990, 115-168.
- A Brief History of Natural Logic, M. Chakraborty et al., eds., 2008, Logic, Navya-Nyaya & Applications, College Publications, London.
- Natural
Language and Logic of Agency, Journal of Logic,
Language and Information
- Generalized
Quantifiers Meet Modal Neighborhood Semantics, 2021,
Outstanding Contributions Volume for Hajnal Andreka and Istvan
Nemeti, Springer, Dordrecht, with Dag Westerstahl.
- Compositionality
in Context, 2021, Outstanding Contributions Volume for
Samson Abramsky, Springer, Dordrecht, with Alexandru Baltag
& Dag Westerstahl.
- New
Logical Perspectives on Monotonicity, 2021, Proceedings Workshop on Monotonicity in
Language and Logic, Springer LNCS, with
Fenrong Liu.
Information and dependence
Books:
- Handbook
of the Philosophy of Information, 2009, Elsevier,
Amsterdam.
- Semantic Parallels in Natural Language and Computation, H-D Ebbinghaus et al. eds., 1989, Logic Colloquium. Granada 1987, North-Holland, Amsterdam, 331-375.
- Modal Logic as a Theory of Information, J. Copeland, ed., 1996, Logic and Reality. Essays on the Legacy of Arthur Prior, Clarendon Press, Oxford, 135-168.
- Modal Foundations of Predicate Logic, Bulletin of the IGPL 5:2, 1997, 259-286.
- Information Transfer Across Chu Spaces, Bulletin of the IGPL 8:6, 2000, 719-731.
- Logical Notions of Information, Handbook of the Philosophy of Information, Elsevier, Amsterdam, 2008, with Maricarmen Martinez.
- The Information in Intuitionistic Logic, Synthese 167:2, 2009, 251-270.
- Tracking Information, 2016, Outstanding Contributions Volume for Mike Dunn, Springer, Dordrecht, 363-389.
- Constructive Agents, Indagationes Mathematicae 2018, DOI: 10.1016/j.indag.2017.10.004.
- Computation
as Social Agency. What, How and Who, Information and
Computation 261:3, 519-535.
- A Minimal Logic
of Functional Dependence, Journal of Philosophical
Logic, DOI 10.1007/s10992-09588-z, 2021, with Alexandru
Baltag.
- Logics of Temporal Dependence in Dynamical Systems, with Alexandru Baltag & Dazhu Li.
- Local Dependence and Guarding, Proceedings AIML, 2022, with Balder ten Cate and Raoul Koudijs.
- Logics of Dependence in Topologies and Metric Spaces, with Alexandru Baltag.
Dynamics of information and agency
- Exploring Logical Dynamics, CSLI Publications, Stanford and Chicago University Press, 1996.
- Logical Dynamics of Information and Interaction, Cambridge University Press, 2011, supporting website.
- Johan
van Benthem on Logic and Information Dynamics, Springer
Science, 2014.
See also:
- Amsterdam Dynamics Portal, research in dynamic-epistemic logic in Amsterdam and worldwide.
Selected articles:
-
One is a Lonely Number, Z. Chatzidakis, P. Koepke & W. Pohlers, eds., 2006, Logic Colloquium '02, ASL & A.K. Peters, Wellesley MA, 96-129.
-
Logics of Communication and Change, Information and Computation, 204:11, 2006, 1620-1662, with Jan van Eijck & Barteld Kooi.
- Temporal Logics for Information Update, Proceedings AiML 2006, with Eric Pacuit.
-
Dynamic Logic of Belief Revision, Journal for Applied Non-Classical Logics 17:2, 2007, 129-155.
- Dynamic Logic of Preference Upgrade, Journal for Applied Non-Classical Logics 17:2, 2007, 157-182, with Fenrong Liu.
- Ceteris Paribus Logic, Journal of Philosophical Logic 38:1, 2008, 83-125 and Philosopher's Annual 2009, Volume 29, with Patrick Girard & Olivier Roy.
- Merging Beliefs over Time, Proceedings LOFT 2008, with Cedric Degremont.
- Merging
Frameworks for Interaction, Journal of Philosophical
Logic 38:5, 2009, 491-526, with Jelle Gerbrandy,
Tomohiro Hoshi & Eric Pacuit.
- Inference, Promotion, and the Dynamics of Awareness, Knowledge, Rationality and Action, Synthese 177:1, 2010, 5-27, with Fernando Velazquez Quesada.
-
Belief Revision as Social Choice, P. Girard, O. Roy & M. Marion, eds., 2011, Dynamic Formal Epistemology, Springer, Dordrecht, 151-160.
- Dynamic Logic of Evidence-Based Beliefs, Studia Logica 99:1, 2011, 61-92, with Eric Pacuit.
- Toward a Dynamic Logic of Questions, Journal of Philosophical Logic 41:4, 2012, 633-669, with Stefan Minica.
-
Dynamic Logics of Belief Change, H. van Ditmarsch et al., eds, 2015, Handbook of Logics of Knowledge and Belief, College Publications, London, 313-393, with Sonja Smets.
- Deontic
Logic
and Changing Preferences, in D. Gabbay, J. Horty, R.
van der Meyden, X. Parent & L. van der Torre, eds.,
2021, Handbook of
Deontic Logic and Normative
Systems, 1-39, with Fenrong Liu..
Logic and games
- Logic in Games, MIT Press, Cambridge MA, 2014.
-
Games in Dynamic Epistemic Logic, Bulletin of Economic Research 53:4, 2001, 219-248.
-
Extensive Games as Process Models, Journal of Logic, Language and Information, 2001, 289-313.
-
Rational Dynamics and Epistemic Logic in Games, International Game Theory Review 9:1, 2007, 13-45. (Erratum reprint, Volume 9:2, 377-409.)
-
Logic Games are Complete for Game Logics, Studia Logica 75, 2003, 183-203.
- In Praise of Strategies, J. van Eijck & R. Verbrugge, eds., 2012, Games, Actions, and Social Software, LNCS 7010, Springer, Heidelberg, 96-116.
- Toward
a Theory of Play, GAMES 2011 2:1, 52-86, with Eric
Pacuit & Olivier Roy. Later version in K. R. Apt
ed., Proceedings TARK Groningen 2011, ACM
Digital Library, 12-16.
- Modal Logics
of Sabotage Revisited,
Journal of Logic and
Computation on-line, 28:2, 2018,
2021.CV.54
- A New Game Equivalence. Its Logic and Algebra, Journal of Philosophical Logic 48, 2019, 649-684, with Nick Bezhanishvili & Sebastian Enqvist.
- Graph Games and Logic Design, F. Liu, H. Ono & J. Yu, eds., 2020, Knowledge, Proof and Dynamics, Springer Science, Dordrecht, 125-146, with Fenrong Liu.
- Logics for Analyzing Games, 2023, Stanford Encyclopedia of Philosophy, with Dominik Klein.
Logic and philosophy
Interview: Logic is the Immune System of the Mind, Distinctio, 2023.
-
Logic in Philosophy, in Dale Jacquette, ed., 2007, Handbook of the Philosophy of Logic, Elsevier, Amsterdam.
-
The Logical Study of Science, Synthese 51, 1982, 431-472. The Logic of Empirical Theories Revisited, Synthese 186:3, 775-792.
- A
Mathematical Characterization of Interpretation Between
Theories, Studia Logica 43:3, 295-303, 1984,
with David Pearce.
- Invariance and Definability: Two Faces of Logical Constants, in W. Sieg et al. eds., 2002, Reflections on the Foundations of Mathematics. Essays in Honor of Sol Feferman, ASL Lecture Notes in Logic 15, 426-446.
- What
One May Come to Know, Analysis 64: 282,
2004, 95-105.
- Epistemic Logic and Epistemology, the state of their affairs, Philosophical Studies 128, 2006, 49-76.
- Where is Logic Going, and Should It?, Topoi 25, 2006, 117-122.
- Priority Structures in Deontic Logic, Theoria 80:2, 2014, 116-152, with Davide Grossi & Fenrong Liu.
- Changing
a Semantics. Opportunism or Courage?, M, Manzano, ed.,
2014, The Life and Work of Leon Henkin, Birkhauser
Verlag, 307-337. with Hajnal Andreka, Nick
Bezhanishvili & Istvan Nemeti.
- Talking About Knowledge, 2017, Outstanding Contributions Volume for Rohit Parikh, 121-143, Springer, Dordrecht.
- Implicit and Explicit Stances in Logic, Journal of Philosophical Logic 48, 571-601, 2018.
- Logico-Computational
Aspects of Rationality, M. Knauff & W. Spohn, eds.,
2021, Handbook of Rationality, The MIT Press, with
Fenrong Liu & Sonja Smets.
A larger collection of papers on logic and philosophy is available on this website: key obtainable from johan.vanbenthem@uva.nl.
Interfacing qualitative and quantitative
-
Conditional Probability Meets Update Logic, Journal of Logic, Language and Information 12:4, 2003, 409-421.
- Dynamic Update with Probabilities, Studia Logica 93, 2009, 67-96, with Jelle Gerbrandy and Barteld Kooi.
- Against All Odds. A Logician Looks at Probability, J.Katoen et al., eds., 2017, Festschrift for Ed Brinksma, Springer Lecture Notes in Computer Science 10500, 239-253.
- Interfacing Logic and Counting,
2023, Bulletin of Symbolic Logic, with Thomas Icard.
Space and time
Books:
- The Logic of Time, Kluwer, Dordrecht, 1983.
- Handbook
of Spatial Logics, Springer, Dordrecht, 2007.
Selected articles:
- Temporal Logic, D. Gabbay et al., eds., Handbook of Logic and AI, Oxford University Press, 1995, 241-350.
-
A Modal Walk through Space, Journal of Applied Non-Classical Logics 12, 2003, p. 319-363, with Marco Aiello.
-
The Geometry of Knowledge, In J-Y Beziau, A. Costa Leite & A. Facchini, eds., Aspects of Universal Logic, 2004, Centre de Recherches Semiologiques, Universite de Neuchatel, 1-31, with Darko Sarenac.
-
Modal Logics of Space, Handbook of Spatial Logics, Springer, Dordrecht, 2007, 217-298, with Guram Bezhanishvili.
- Modal
Structures in Groups and Vector Spaces, Journal of
Logic and Computation, 34:1, 2024, 75--124, with Nick
Bezhanishvili.
Logic and cognition
- Logic and
Psychology, editorial, Topoi 26:1, 2007, with
Helen and Wilfrid Hodges.
-
Cognition as Interaction. G. Bouma et al., eds., 2007, Symposium on Cognitive Foundations of Interpretation, KNAW, Amsterdam, 2007, 27-38.
-
Logic and Reasoning: Do the Facts Matter?, Studia Logica 88, 2008, 67-84. (Russian translation in Vox.)
History of logic
- Four Paradoxes, Journal of Philosophical Logic 7, 1978, 49-72.
- The Variety
of Consequence According to Bolzano, Studia Logica
44:4, 1985, 389-403.
- Models of Reasoning in Ancient China, Studies in Logic 4:3, 2011, 57-81, with Fenrong Liu & Jeremy Seligman.
  |
 |
 |
|