Labeled Natural Deduction for Temporal Logics
a PDF file of the textbook - U of L Class Index
The Liar Paradox: A Consistent and Semantically Closed Solution
Revising the AGM Postulates
a thesis submitted in partial fulfillment of the requirements for the
Graphical Representation of Canonical Proof: Two case studies
logic, programming and prolog (2ed)
Goal-directed Proof Theory
Interpretability formalized
Saying It with Pictures: a logical landscape of conceptual graphs
X - UOW
Combinaison des logiques temporelle et déontique pour la
Modal fixpoint logic: some model theoretic questions
code-carrying theory - Computer Science at RPI
Relevant Logic A Philosophical Examination of Inference Stephen Read February 21, 2012
First-Order Theorem Proving and Vampire
Elements of Finite Model Theory
Cut-elimination for provability logics and some results in display logic
Formal Theories of Truth INTRODUCTION
The Computer Modelling of Mathematical Reasoning Alan Bundy
