An Introduction to Modal Logic (1968)

by G E Hughes, M J Cresswell