a PDF file of the textbook - U of L Class Index
A Partially Truth Functional Approach to
A Paedagogic Example of Cut-Elimination
A Note on the Relation between Inflationary Fixpoints and Least
A Note on Naive Set Theory in LP
A Note on Bootstrapping Intuitionistic Bounded Arithmetic
A Note on Assumptions about Skolem Functions
A Nonstandard Approach to the. Logical Omniscience Problem
A non-standard Semantics for Inexact Knowledge with Introspection
A New Theory of Content
A new method to express sums of power of integers as a polynomial
A New Decidability Technique for Ground Rewrite Systems with Applications
A modal perspective on monadic second
A MODAL EXTENSION OF FIRST ORDER CLASSICAL LOGIC–Part
A mathematical sentence is a sentence that states a fact or contains
A Mathematical Introduction to Modal Logic
A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS
A Logical Framework for Default Reasoning
A Logical Foundation for Session
A Logical Expression of Reasoning
