Please note that this newsitem has been archived, and may contain outdated information or links.
4 November 2003, Meeting of the Spatial Reasoning Group, Spencer Gerhardt
Speaker: Spencer Gerhardt
Title: Completeness of temporal logic with interior for Q
Date: Tuesday 4 November 2003
Time: 17:30
Location: Euclides
This week Spencer will tell us about his new proof of completeness of temporal logic with interior operator interpreted over rationals, and the relation of this logic to betweenness modality.
For more information, contact Darko S. at sarenac at stanford.edu
Please note that this newsitem has been archived, and may contain outdated information or links.