Viganò, Luca Programming Logics, MPI for Informatics, Max Planck Society;
Viganò, L. (1997). A Framework for Non-Classical Logics. PhD Thesis, Universität des Saarlandes, Saarbrücken.