List of equivalences
Revision as of 22:03, 27 July 2017 by Olivier Laurent
Each isomorphism gives an equivalence of formulas. The following equivalences are not isomorphisms.
Some of these equivalences are related with the lattice of exponential modalities.
Second order encodings