Asta Halkjær From

Homepages 🌐

• https://astahfrom.github.io/

E-Mails 📧

• kd.uk.id@rfsa

Entries

2026

Completeness of the Q0 Higher-Order Logic

by Asta Halkjær From, Jonathan Julian Huerta y Munive and Anders Schlichtkrull

Aug 03

Abstract Consistency Properties

by Asta Halkjær From and Anders Schlichtkrull

Mar 26

2023

Synthetic Completeness

by Asta Halkjær From

Jan 09

2022

Soundness and Completeness of Implicational Logic

by Asta Halkjær From and Jørgen Villadsen

Sep 13

A Naive Prover for First-Order Logic

by Asta Halkjær From

Mar 22

A Sequent Calculus Prover for First-Order Logic with Functions

by Asta Halkjær From and Frederik Krogsdal Jacobsen

Jan 31

2021

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

by Asta Halkjær From

Sep 24

Public Announcement Logic

by Asta Halkjær From

Jun 17

2019

Formalizing a Seligman-Style Tableau System for Hybrid Logic

by Asta Halkjær From

Dec 20

A Sequent Calculus for First-Order Logic

by Asta Halkjær From

Jul 18

2018

Epistemic Logic: Completeness of Modal Logics

by Asta Halkjær From

Oct 29