Szalas, Andrzej Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-209.pdf (Any fulltext), 119KB
Szalas, A.(1992). On correspondence between modal and classical logic: automated approach (MPI-I-92-209). Saarbrücken: Max-Planck-Institut für Informatik.