Asta Halkjær From

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 31

Top Topics

Sequent Calculus

Propositional Logic

Natural Deduction

Top Venues

Arch. Formal Proofs

Publications

Asta Halkjær From, Frederik Krogsdal Jacobsen
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. J. Autom. Reason. 68 (3) (2024)
Asta Halkjær From, Jørgen Villadsen
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. TABLEAUX (2023)
Asta Halkjær From
Synthetic Completeness. Arch. Formal Proofs 2023 (2023)
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
A sequent calculus for first-order logic formalized in Isabelle/HOL. J. Log. Comput. 33 (4) (2023)
Jannis Limperg, Asta Halkjær From
Aesop: White-Box Best-First Proof Search for Lean. CPP (2023)
Asta Halkjær From, Jørgen Villadsen
Soundness and Completeness of Implicational Logic. Arch. Formal Proofs 2022 (2022)
Asta Halkjær From, Frederik Krogsdal Jacobsen
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. ITP (2022)
Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. CoRR (2022)
Asta Halkjær From
A Naive Prover for First-Order Logic. Arch. Formal Proofs 2022 (2022)
Asta Halkjær From, Frederik Krogsdal Jacobsen
A Sequent Calculus Prover for First-Order Logic with Functions. Arch. Formal Proofs 2022 (2022)
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. LSFA (2021)
Asta Halkjær From
Public Announcement Logic. Arch. Formal Proofs 2021 (2021)
Asta Halkjær From
Soundness and Completeness of an Axiomatic System for First-Order Logic. Arch. Formal Proofs 2021 (2021)
Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. CICM (2021)
Asta Halkjær From
Formalized Soundness and Completeness of Epistemic Logic. WoLLIC (2021)
Asta Halkjær From
A Succinct Formalization of the Completeness of First-Order Logic. TYPES (2021)
Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen
A Case Study in Computer-Assisted Meta-reasoning. DCAI (2) (2021)
Asta Halkjær From
Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic. ESSLLI Student Sessions (2021)
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. CILC (2021)
Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
Isabelle/HOL as a Meta-Language for Teaching Logic. ThEdu@IJCAR (2020)
Asta Halkjær From
Synthetic Completeness for a Terminating Seligman-Style Tableau System. TYPES (2020)
Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). IJCAR (1) (2020)
Asta Halkjær From
A Sequent Calculus for First-Order Logic. Arch. Formal Proofs 2019 (2019)
Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
Teaching a Formalized Logical Calculus. ThEdu@CADE (2019)
Asta Halkjær From
Formalizing a Seligman-Style Tableau System for Hybrid Logic. Arch. Formal Proofs 2019 (2019)
Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From
Students' Proof Assistant (SPA). ThEdu@FLoC (2018)
Jørgen Villadsen, Asta Halkjær From, Salvador Jacobi, Nikolaj Nøkkentved Larsen
Multi-agent programming contest 2016 - the Python-DTU team. Int. J. Agent Oriented Softw. Eng. 6 (1) (2018)
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
Natural Deduction Assistant (NaDeA). ThEdu@FLoC (2018)
Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From
A Verified Simple Prover for First-Order Logic. PAAR@FLoC (2018)
Asta Halkjær From
Epistemic Logic. Arch. Formal Proofs 2018 (2018)
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
Natural Deduction and the Isabelle Proof Assistant. ThEdu@CADE (2017)