21 citations · 54 across the 7 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
Hugo Herbelin, Danko Ilik
G{ö}del's completeness theorem for classical first-order logic is one of the most basic theorems of logic. Central to any foundational course in logic, it connects the notion of va…
math.LO2009★ 21 cited
Kripke Models for Classical Logic
Danko Ilik, Gyesik Lee, Hugo Herbelin
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potent…