Johan F. Van Benthem

• Handbook of logic and language
• Exploring Logical Dynamics
• Unmediated