Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
1996-2-005 (Any fulltext), 11KB
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.