SPATIAL LOGIC+TEMPORAL LOGIC=? (2007)

by Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Venue:HANDBOOK OF SPATIAL LOGICS