Johan van Benthem



Research

Modal logic, mathematics and computation