Asta Halkjær From

36 papers B 5C 2Journal 14Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abstract Consistency Properties.
Arch. Formal Proofs
Asta Halkjær From, Anders Schlichtkrull
2025 B conf
Abstract, Compositional Consistency: Isabelle/HOL Locales for Completeness à la Fitting.
ITP
Asta Halkjær From, Anders Schlichtkrull
2025 B conf
An Isabelle/HOL Framework for Synthetic Completeness Proofs.
CPP
Asta Halkjær From
2025 J jnl
Formalized soundness and completeness of epistemic and public announcement logic.
J. Log. Comput.
Asta Halkjær From
2024 J jnl
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.
J. Autom. Reason.
Asta Halkjær From, Frederik Krogsdal Jacobsen
2023 B conf
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.
TABLEAUX
Asta Halkjær From, Jørgen Villadsen
2023 J jnl
A sequent calculus for first-order logic formalized in Isabelle/HOL.
J. Log. Comput.
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
2023 B conf
Aesop: White-Box Best-First Proof Search for Lean.
CPP
Jannis Limperg, Asta Halkjær From
2023 J jnl
Synthetic Completeness.
Arch. Formal Proofs
Asta Halkjær From
2022 J jnl
A Naive Prover for First-Order Logic.
Arch. Formal Proofs
Asta Halkjær From
2022 J jnl
A Sequent Calculus Prover for First-Order Logic with Functions.
Arch. Formal Proofs
Asta Halkjær From, Frederik Krogsdal Jacobsen
2022 J jnl
Soundness and Completeness of Implicational Logic.
Arch. Formal Proofs
Asta Halkjær From, Jørgen Villadsen
2022 B conf
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.
ITP
Asta Halkjær From, Frederik Krogsdal Jacobsen
2021 — conf
A Case Study in Computer-Assisted Meta-reasoning.
DCAI (2)
Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen
2021 — conf
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL.
CILC
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
2021 — conf
A Succinct Formalization of the Completeness of First-Order Logic.
TYPES
Asta Halkjær From
2021 C conf
Formalized Soundness and Completeness of Epistemic Logic.
WoLLIC
Asta Halkjær From
2021 C conf
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL.
CICM
Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen
2021 — conf
Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic.
ESSLLI Student Sessions
Asta Halkjær From
2021 J jnl
Public Announcement Logic.
Arch. Formal Proofs
Asta Halkjær From
2021 — conf
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.
LSFA
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
2021 J jnl
Soundness and Completeness of an Axiomatic System for First-Order Logic.
Arch. Formal Proofs
Asta Halkjær From
2021 — conf
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.
ThEdu@CADE
Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn
2020 — conf
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).
IJCAR (1)
Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
2020 — conf
Isabelle/HOL as a Meta-Language for Teaching Logic.
ThEdu@IJCAR
Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
2020 — conf
Synthetic Completeness for a Terminating Seligman-Style Tableau System.
TYPES
Asta Halkjær From
2019 J jnl
A Sequent Calculus for First-Order Logic.
Arch. Formal Proofs
Asta Halkjær From
2019 J jnl
Formalizing a Seligman-Style Tableau System for Hybrid Logic.
Arch. Formal Proofs
Asta Halkjær From
2019 — conf
Teaching a Formalized Logical Calculus.
ThEdu@CADE
Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
2018 — conf
A Verified Simple Prover for First-Order Logic.
PAAR@FLoC
Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From
2018 J jnl
Epistemic Logic.
Arch. Formal Proofs
Asta Halkjær From
2018 — ch.
Multi-Agent Programming Contest 2018 - The Jason-DTU Team.
The Multi-Agent Programming Contest
Jørgen Villadsen, Mads Okholm Bjørn, Asta Halkjær From, Thomas Søren Henney, John Bruntse Larsen
2018 J jnl
Multi-agent programming contest 2016 - the Python-DTU team.
Int. J. Agent Oriented Softw. Eng.
Jørgen Villadsen, Asta Halkjær From, Salvador Jacobi, Nikolaj Nøkkentved Larsen
2018 — conf
Natural Deduction Assistant (NaDeA).
ThEdu@FLoC
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
2018 — conf
Students' Proof Assistant (SPA).
ThEdu@FLoC
Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From
2017 — conf
Natural Deduction and the Isabelle Proof Assistant.
ThEdu@CADE
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull