Bezhanishvili, G.; Bezhanishvili, N.; de Jongh, D. The Kuznetsov-Gerčiu and Rieger-Nishimura Logics. LLP 2008, 17, 73-110.