Johan van Benthem Home / Activities / Publications / Teaching / Research / Talks

Research

Modal logic, mathematics and computation