Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-97-2-002.pdf (Any fulltext), 428KB
Schmidt, R. A.(1997). Resolution is a decision procedure for many propositional modal logics (MPI-I-1997-2-002). Saarbrücken: Max-Planck-Institut für Informatik.