Material Dialogues for First-Order Logic in Constructive Type Theory

von Wehr, Dominik
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)

Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic

von Hagemeier, Christian
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)

Trakhtenbrot’s Theorem in Coq: A Constructive Approach to Finite Model Theory

von Kirst, Dominik
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory

von Forster, Yannick
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)