Logic
Lesson 1 Contents - Headlee's Math Mansion
Normal form results for default logic
Nominal Monoids
Lecture Slides
Lecture notes for Chapter 1
Lecture 2
Knowledge Representation and Reasoning
page 139 EROTETIC SEARCH SCENARIOS, PROBLEM
page 113 THE AGM THEORY AND INCONSISTENT BELIEF
On Sets of Premises - Matematički Institut SANU
On fuzzy semi-preopen sets and fuzzy semi
MoL-2013-07 - Institute for Logic, Language and Computation
Is the Liar Sentence Both True and False? - NYU Philosophy
Introduction to Modal Logic - CMU Math
Introduction - Charles Ling
Inductive Types in Constructive Languages
PowerPoint file for CSL 02, Edinburgh, UK
PhD Thesis First-Order Logic Investigation of Relativity Theory with
The Pure Calculus of Entailment Author(s): Alan Ross Anderson and
