Asta Halkjær From

From MaRDI portal
Person:2096469

Available identifiers

zbMath Open from.asta-halkjaerMaRDI QIDQ2096469

List of research outcomes





PublicationDate of PublicationType
SeCaV: a sequent calculus verifier in Isabelle/HOL2025-01-13Paper
Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL2024-09-27Paper
A succinct formalization of the completeness of first-order logic2024-08-01Paper
Verifying a sequent calculus prover for first-order logic with functions in Isabelle/HOL2024-07-15Paper
A naive prover for first-order logic: a minimal example of analytic completeness2024-05-17Paper
A sequent calculus for first-order logic formalized in Isabelle/HOL2023-06-15Paper
Formalizing a Seligman-style tableau system for hybrid logic (short paper)2022-11-09Paper
Formalized soundness and completeness of epistemic logic2022-06-24Paper
Formalizing axiomatic systems for propositional logic in Isabelle/HOL2022-04-22Paper

Research outcomes over time

This page was built for person: Asta Halkjær From

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2096469&oldid=6570620"
Powered by MediaWiki