A spatial modal logic with a location interpretation.

Norihiro Kamide A spatial modal logic with a location interpretation. 331-341 2005 51 Math. Log. Q. 4 http://dx.doi.org/10.1002/malq.200510001 db/journals/mlq/mlq51.html#Kamide05