Publication Details
Title: On Location: Points About Regions
Author: P. B. Ladkin and J. S. Crow
Group: ICSI Technical Reports
Date: July 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-029.pdf
Overview:
In this paper we formalize Whitehead's construction for inducing point structures from region structures using a primitive relation of connection on regions [Whi79]. Our concern is to formulate a spatiotemporal analogue to the construction of temporal periods/points from events, and is reminiscent of the temporal constructions of Kamp [Kam79] and van Benthem [vBen83]. We compare our interpretation of Whitehead with the Kamp/van Benthem/Russell constructions and find some unresolved issues of interdefinability. Our goal is an apposite formulation of spatiotemporal locations as suggested for Situation Theory by Barwise and Perry [BP83].
Bibliographic Information:
ICSI Technical Report TR-90-029
Bibliographic Reference:
P. B. Ladkin and J. S. Crow. On Location: Points About Regions. ICSI Technical Report TR-90-029, July 1990
Author: P. B. Ladkin and J. S. Crow
Group: ICSI Technical Reports
Date: July 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-029.pdf
Overview:
In this paper we formalize Whitehead's construction for inducing point structures from region structures using a primitive relation of connection on regions [Whi79]. Our concern is to formulate a spatiotemporal analogue to the construction of temporal periods/points from events, and is reminiscent of the temporal constructions of Kamp [Kam79] and van Benthem [vBen83]. We compare our interpretation of Whitehead with the Kamp/van Benthem/Russell constructions and find some unresolved issues of interdefinability. Our goal is an apposite formulation of spatiotemporal locations as suggested for Situation Theory by Barwise and Perry [BP83].
Bibliographic Information:
ICSI Technical Report TR-90-029
Bibliographic Reference:
P. B. Ladkin and J. S. Crow. On Location: Points About Regions. ICSI Technical Report TR-90-029, July 1990