The Kuznetsov-Gerciu and Rieger-Nishimura logics the boundaries of the finite model property - Bezhanishvili, Guram; Bezhanishvili, Nick; Jong, Dick de (Inst. for Logic, Language and Computation, 2008)
http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-11.text.pdf