Gabbay, Dov M. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-230.pdf (beliebiger Volltext), 526KB
Gabbay, D. M.(1993). Classical vs non-classical logics: the universality of classical logic (MPI-I-93-230). Saarbrücken: Max-Planck-Institut für Informatik.