Modal logic and its applications. - Snyder D Paul (New York Van Nostrand Reinhold, 1971)