Model logic AN INTRODUCTION - Chellas, Brian F. (Cambridge University Press, 1980)
Keywords: Modality (Logic)