Handbook of philosophical logic. tomo 3 - Gabbay, Dov M. (Synthese Library, 163, 1984)