A New Introduction to Modal Logic (1996)

by G E Hughes, M J Cresswell