News and Events: Upcoming Events

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

Please note that this newsitem has been archived, and may contain outdated information or links.