Smorynski
Completion requirements
C.A. Smorynski, Applications of Kripke models.
Click smorynski.pdf link to view the file.