2

Execution trace sets for real computation
Traditional models of computation and algorithms take a constructive approach, essentially considering a transition function over a …
Declan Thompson
Cite Project DOI
Execution trace sets for real computation
Local Fact Change Logic
We investigate a modal logic of model change, introducing a new operator which allows for changing the valuation at a particular state …
Declan Thompson
Cite Project DOI
Local Fact Change Logic
Teaching Natural Deduction in the Right Order with Natural Deduction Planner
We describe a strategy-based approach to teaching natural deduction using a notation that emphasises the order in which deductions are …
Declan Thompson, Jeremy Seligman
Cite