Declan Thompson

Teaching natural deduction in the right order with Natural Deduction Planner pdf

Jeremy Seligman, Declan Thompson, 2017, FLAP.

Boolean Network Games and Iterated Boolean Games

Jeremy Seligman, Declan Thompson, J. Seligman, 2015, LORI.

Local Fact Change Logic

Declan Thompson, 2020 .

Formalisation vs. Understanding - A Case Study in Isabelle

Declan Thompson, 2015, UCNC.

Incompleteness, Undecidability and Automated Proofs - (Invited Talk)

Cristian S. Calude, Declan Thompson, 2016, CASC.

Computable Execution Traces

Declan Thompson, 2021, WoLLIC.