MODAL LOGIC AND ITS APLLICATIONS - Snyder,D.P. (1971)