Research Research OverviewPublicationsReading Groups and Workshops Main content start Formal Philosophy Thomas Icard Brian Skyrms Johan van Benthem