Inverses for normal modal operators
A modality \(L\) is a left inverse of \(\square\) in a logic S if \(L\square p\leftrightarrow p\) is provable in S. Existence of inverses is connected to derivability of \(\square^m p\leftrightarrow p\) in S.
scientific article; zbMATH DE number 1078606