Follow
Marek Czarnecki
Title
Cited by
Cited by
Year
How fast can the fixpoints in modal µ-calculus be reached
M Czarnecki
Fixed Points in Computer Science, 35-39, 2010
162010
A modal logic of a truth definition for finite models
M Czarnecki, K Zdanowski
Fundamenta Informaticae 164 (4), 299-325, 2019
52019
Learnability Thesis Does Not Entail Church’s Thesis
M Czarnecki, MT Godziszewski, D Kalociński
Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014 …, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–3