Einführung in die Modallogik by Max J. Cresswell