A study in modal logic

Fitzpatrick, P. J.
(1956)