A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing.

V. Wiktor Marek A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. 194-240 1984 NMR db/conf/nmr/nmr1984.html#Marek84