Johan van Benthem

• Logic in Games
• Readings in Formal Epistemology
• Proof, Computation and Agency
• Readings in Formal Epistemology
• A Manual of Intensional Logic
• Age of Alternative Logics
• Essays in Logical Semantics
• Generalized Quantifiers in Natural Language
• Linguistic and Literary Studies in Eastern Europe
• Logic of Time
• Logic, Information and Agency
• Logical Dynamics of Information and Interaction