How Fast Can the Fixpoints in Modal mu-Calculus Be Reached? - Marek Czarnecki (FICS, 2010)

Learnability Thesis Does Not Entail Church's Thesis. - Marek Czarnecki; Michal Tomasz Godziszewski; Dariusz Kalocinski (CiE, 2014)

Concrete Mathematics. Finitistic Approach to Foundations. - Marcin Mostowski; Marek Czarnecki (WoLLIC, 2017)

A Modal Logic of a Truth Definition for Finite Models. - Marek Czarnecki; Konrad Zdanowski (Fundam. Informaticae, 2019)