Multidimensional modal logic as a framework for spatio-temporal reasoning (2002)

by B Bennett, A G Cohn, F Wolter, M Zakharyaschev
Venue:Appl. Intell