Asta Halkjær From
2022
A Sequent Calculus Prover for First-Order Logic with Functions
by Asta Halkjær From and Frederik Krogsdal Jacobsen
2021
Soundness and Completeness of an Axiomatic System for First-Order Logic
by Asta Halkjær From
2019
Formalizing a Seligman-Style Tableau System for Hybrid Logic
by Asta Halkjær From
A Sequent Calculus for First-Order Logic
by Asta Halkjær From
2018
Epistemic Logic: Completeness of Modal Logics
by Asta Halkjær From