Asta Halkjær From
From MaRDI portal
Person:2096469
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| SeCaV: a sequent calculus verifier in Isabelle/HOL | 2025-01-13 | Paper |
| Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL Journal of Automated Reasoning | 2024-09-27 | Paper |
| A succinct formalization of the completeness of first-order logic | 2024-08-01 | Paper |
| Verifying a sequent calculus prover for first-order logic with functions in Isabelle/HOL | 2024-07-15 | Paper |
| A naive prover for first-order logic: a minimal example of analytic completeness | 2024-05-17 | Paper |
| A sequent calculus for first-order logic formalized in Isabelle/HOL Journal Of Logic And Computation | 2023-06-15 | Paper |
| Formalizing a Seligman-style tableau system for hybrid logic (short paper) | 2022-11-09 | Paper |
| Formalized soundness and completeness of epistemic logic | 2022-06-24 | Paper |
| Formalizing axiomatic systems for propositional logic in Isabelle/HOL | 2022-04-22 | Paper |
Research outcomes over time
This page was built for person: Asta Halkjær From
