Modal logics of topological relations (2004)

by C Lutz, F Wolter
Venue:In Proceedings of Advances in Modal Logics