Asta Halkjær From

Homepages 🌐

• https://astahfrom.github.io/

E-Mails 📧

• kd.uk.id@rfsa

Entries

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