A companion to modal logic - Hughes, G. E. .; Cresswell, M. J. .
NULL
Keywords: LOGIC