6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.LO2023
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche +5
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuiti…
cs.LO2020★ 6 cited
Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory
Dominik Kirst, Dominique Larchey-Wendling
We study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a fu…