A companion to modal logic - Hughes, G.E.; Cresswell, M.J. (London Methuen, 1984)
Keywords: Modality (Logic)