Johan van Benthem

Books
Graph Games and Logic Design Graph Games and Logic Design
Graph Games and Logic Design
2026
Readings in Formal Epistemology Readings in Formal Epistemology
Readings in Formal Epistemology
2016
Models of Strategic Reasoning Models of Strategic Reasoning
Models of Strategic Reasoning
2016
Handbook of Spatial Logics Handbook of Spatial Logics
Handbook of Spatial Logics
2007
The Age of Alternative Logics The Age of Alternative Logics
The Age of Alternative Logics
2006
Proof, Computation and Agency Proof, Computation and Agency
Proof, Computation and Agency
2011