A decidable multi-modal logic of context.

Rolf Nossum A decidable multi-modal logic of context. 119-133 2003 1 J. Applied Logic 1-2 http://dx.doi.org/10.1016/S1570-8683(03)00007-7 db/journals/japll/japll1.html#Nossum03