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