1. Uniform Lyndon interpolation property in propositional modal logics;Archive for Mathematical Logic;2020-01-21
2. The East, the West and the universal machine;Progress in Biophysics and Molecular Biology;2017-12
3. The Lyndon property and uniform interpolation over the Grzegorczyk logic;Siberian Mathematical Journal;2014-01
4. On the Blok-Esakia Theorem;Leo Esakia on Duality in Modal and Intuitionistic Logics;2014
5. Sixty Years of Stable Models;The History and Philosophy of Polish Logic;2014