Algorithms for recognizing restricted interpolation over the modal logic S4

We consider the restricted interpolation property IPR in modal logics. Earlier, the decidability of IPR over the modal logic S4 was proved and a finite list was found that contains all logics that can possess IPR over S4. However, this list contains some undue logics. The present article gives examples of the logics.