Geometric Models for Relevant Logics

March 20, 2020

Abstract: Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R, and his proof of the failure of interpolation in R, is the use of techniques from geometry. In this talk, inspired by Urquhart’s work, I explore ways to generate natural models of R from geometries, and different constraints that an accessibility relation in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable

  • This talk is an online presentation for the Melbourne Logic Group. The slides for the talk are here.

  • There is a (low resolution) recording of the talk on YouTube if you’d like to see what you missed.


I’m Greg Restall, and this is my personal website. I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.


To receive updates from this site, subscribe to the RSS feed in your feed reader. Alternatively, follow me at, where most updates are posted.


This site is powered by Netlify, GitHub, Hugo, Bootstrap, and coffee.   ¶   © 1992– Greg Restall.