Revisiting completeness for the Kn modal logics: A new proof. - Tara Nicholson; Ray E. Jennings; Darko Sarenac (Log. J. IGPL, 2000)

Completeness of indexed epsilon-calculus. - Grigori Mints; Darko Sarenac (Arch. Math. Log., 2003)

Cardinal spaces and topological representations of bimodal logics. - Benedikt Löwe; Darko Sarenac (Log. J. IGPL, 2005)

Multimo dal Logics of Products of Topologies. - Johan van Benthem; Guram Bezhanishvili; Balder ten Cate; Darko Sarenac (Stud Logica, 2006)