Asta Halkjær From

MaRDI QIDQ2096469zbMATH OpenFDO

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
Abstract, compositional consistency: Isabelle/HOL locales for completeness à la fitting	2026-09-01	Paper
Synthetic completeness for a terminating Seligman-style tableau system	2026-04-22	Paper
Formalized soundness and completeness of epistemic and public announcement logic Journal of Logic and Computation	2025-09-30	Paper
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