V. Wiktor Marek A Natural Semantics for Modal Logic Over Databases. 187-209 1988 56 Theor. Comput. Sci. db/journals/tcs/tcs56.html#Marek88 https://doi.org/10.1016/0304-3975(88)90077-1