Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Nonnengart, A. (1998). Modal Frame Characterization by Way of Auxiliary Modalities. Logic Journal of the IGPL, 6(6), 875-899.