Books by Johan van Benthem
Logic, Information and Agency
Logic, Information and Agency
Semantics and Contextual Expre
Semantics and Contextual Expressions
Readings in Formal Epistemology
Models of Strategic Reasoning
Models of Strategic Reasoning
Generalized Quantifiers in Natural Language
Logic of Time
Logic of Time
Logical Dynamics of Informatio
Logical Dynamics of Information and Interaction
Proof, Computation and Agency
Age of Alternative Logics
Age of Alternative Logics