Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-96-2-005.pdf (Preprint), 366KB
Nonnengart, A.(1996). Auxiliary modal operators and the characterization of modal frames (MPI-I-1996-2-005). Saarbrücken: Max-Planck-Institut für Informatik.