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.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.