Geodesic
Dynamic mereotopology~III. Whiteheadean type of integrated point-free theories of space and time.~II
Algebra i logika, Tome 55 (2016) no. 1, pp. 14-36.

Voir la notice de l'article provenant de la source Math-Net.Ru

This is the second part from the series of papers shortly denoted by part I [Algebra i Logika, 53, No. 3 (2014), 300–322] and part III [Algebra i Logika, 55, No. 3]. These papers are devoted to some Whiteheadean theories of space and time. Part I contains a historical introduction and some facts from static mereotopology. The present part is devoted to the introduction of a point-based definition of dynamic model of space and standard dynamic contact algebra based on the so called snapshot construction. This model contains explicit time structure with explicit set of time points equipped with a before-after relation and a set of regions changing in time, called dynamic regions. The dynamic model of space contains several definable spatio-temporal relations between dynamic regions: space contact, time contact, precedence and some others. We prove for these relations some statements, which in part III are taken as axioms for the abstract definition of some natural classes of dynamic contact algebras, considered as algebraic formulation of dynamic mereotopology.
Keywords: snapshot construction, point-based dynamic model of space, standard dynamic contact algebra. 
@article{AL_2016_55_1_a1,
     author = {D. Vakarelov},
     title = {Dynamic {mereotopology~III.} {Whiteheadean} type of integrated point-free theories of space and {time.~II}},
     journal = {Algebra i logika},
     pages = {14--36},
     publisher = {mathdoc},
     volume = {55},
     number = {1},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/}
}
TY  - JOUR
AU  - D. Vakarelov
TI  - Dynamic mereotopology~III. Whiteheadean type of integrated point-free theories of space and time.~II
JO  - Algebra i logika
PY  - 2016
SP  - 14
EP  - 36
VL  - 55
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/
LA  - ru
ID  - AL_2016_55_1_a1
ER  - 
%0 Journal Article
%A D. Vakarelov
%T Dynamic mereotopology~III. Whiteheadean type of integrated point-free theories of space and time.~II
%J Algebra i logika
%D 2016
%P 14-36
%V 55
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/
%G ru
%F AL_2016_55_1_a1
D. Vakarelov. Dynamic mereotopology~III. Whiteheadean type of integrated point-free theories of space and time.~II. Algebra i logika, Tome 55 (2016) no. 1, pp. 14-36. http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/

[1] D. Vakarelov, “Dinamicheskaya mereotopologiya. III. Edinye tochechno-svobodnye teorii prostranstva i vremeni tipa Uaitkheda. I”, Algebra i logika, 53:3 (2014), 300–322 | MR | Zbl

[2] D. Vakarelov, “Dinamicheskaya mereotopologiya. III. Edinye bestochechnye teorii prostranstva i vremeni tipa Uaitkheda. III”, Algebra i logika (to appear)

[3] R. Goldblatt, “Diodorean modality in Minkowski spacetime”, Stud. Log., 39 (1980), 219–236 | DOI | MR | Zbl

[4] V. B. Shekhtman, “Modal logics of domains on the real plane”, Stud. Log., 42 (1983), 63–80 | DOI | MR | Zbl

[5] I. Shapirovsky, V. Shehtman, “Chronological modality in Minkowski spacetime”, Sel. papers the 4th conf., AiML 2002 (Toulouse, France, October 2002), Advances in modal logic, 4, eds. P. Balbiani et al., King's College Publ., London, 2003, 437–459 | MR | Zbl

[6] I. Shapirovsky, V. Shehtman, “Modal logics of regions and Minkowski spacetime”, J. Log. Comput., 15:4 (2005), 559–574 | DOI | MR | Zbl

[7] A. N. Whitehead, Science and the modern world, the Great Books of the Western World, 55, MacMillan Co., New York, 1925

[8] A. N. Whitehead, Process and reality: An essay in cosmology, Macmillan Co., New York, 1929

[9] D. Vakarelov, “Dynamic mereotopology. II: Axiomatizing some Whiteheadian type space-time logics”, Proc. 9th conf., AiML 2012 (Copenhagen, Denmark, August 22–25, 2012), Advances in modal logic, 9, eds. Th. Bolander et al., College Publ., London, 2012, 538–558 | MR | Zbl

[10] D. Vakarelov, “Dynamic Mereotopology: A point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations”, Fundam. Inform., 100:1–4 (2010), 159–180 | MR | Zbl