Asta Halkjær From

According to our database, Asta Halkjær From authored at least 30 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A sequent calculus for first-order logic formalized in Isabelle/HOL.

Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen

J. Log. Comput., June, 2023

Synthetic Completeness.

Asta Halkjær From

Arch. Formal Proofs, 2023

A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.

Asta Halkjær From, Jørgen Villadsen

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Aesop: White-Box Best-First Proof Search for Lean.

Jannis Limperg, Asta Halkjær From

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Soundness and Completeness of Implicational Logic.

Asta Halkjær From, Jørgen Villadsen

Arch. Formal Proofs, 2022

A Sequent Calculus Prover for First-Order Logic with Functions.

Asta Halkjær From, Frederik Krogsdal Jacobsen

Arch. Formal Proofs, 2022

A Naive Prover for First-Order Logic.

Asta Halkjær From

Arch. Formal Proofs, 2022

Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.

Asta Halkjær From, Frederik Krogsdal Jacobsen

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.

Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.

Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

Soundness and Completeness of an Axiomatic System for First-Order Logic.

Asta Halkjær From

Arch. Formal Proofs, 2021

Public Announcement Logic.

Asta Halkjær From

Arch. Formal Proofs, 2021

Formalized Soundness and Completeness of Epistemic Logic.

Asta Halkjær From

Proceedings of the Logic, Language, Information, and Computation, 2021

A Succinct Formalization of the Completeness of First-Order Logic.

Asta Halkjær From

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL.

Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic.

Asta Halkjær From

Proceedings of the Selected Reflections in Language, Logic, and Information - ESSLLI 2019, 2021

A Case Study in Computer-Assisted Meta-reasoning.

Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen

Proceedings of the Distributed Computing and Artificial Intelligence, 2021

2020

Isabelle/HOL as a Meta-Language for Teaching Logic.

Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn

Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

Synthetic Completeness for a Terminating Seligman-Style Tableau System.

Asta Halkjær From

Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).

Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Teaching a Formalized Logical Calculus.

Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

Formalizing a Seligman-Style Tableau System for Hybrid Logic.

Asta Halkjær From

Arch. Formal Proofs, 2019

A Sequent Calculus for First-Order Logic.

Asta Halkjær From

Arch. Formal Proofs, 2019

2018

Multi-Agent Programming Contest 2018 - The Jason-DTU Team.

Jørgen Villadsen, Mads Okholm Bjørn, Asta Halkjær From, Thomas Søren Henney, John Bruntse Larsen

Proceedings of the Multi-Agent Programming Contest 2018, 2018

Multi-agent programming contest 2016 - the Python-DTU team.

Jørgen Villadsen, Asta Halkjær From, Salvador Jacobi, Nikolaj Nøkkentved Larsen

Int. J. Agent Oriented Softw. Eng., 2018

Natural Deduction Assistant (NaDeA).

Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Students' Proof Assistant (SPA).

Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Epistemic Logic.

Asta Halkjær From

Arch. Formal Proofs, 2018

A Verified Simple Prover for First-Order Logic.

Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

Natural Deduction and the Isabelle Proof Assistant.

Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017