Existential Semantics for Modal Logic.

Sergei N. Artëmov Existential Semantics for Modal Logic. 19-30 2005 conf/birthday/2005gabbay1 We Will Show Them! (1) db/conf/birthday/Gabbay1.html#Artemov05