Willem Labuschagne
Book on Applied Logic
The book begins with an extended introduction to various logics, and I have tested out this introduction by using it as basis for lectures in the 400–level paper COSC462. The lectures I give in this paper fall into two groups— in most of them, the focus is on semantics and the connection with our book is very direct; the final lectures on automated reasoning are based mainly on the excellent Wos, Overbeek, Lusk, and Boyle: Automated Reasoning.
COSC462 Applied Logic Topics
- Introduction to agent–oriented logic
- Opaque propositional languages and classical entailment
- Expressiveness — information, ineffability, and the meta–object distinction
- Metatheory — compactness, soundness, completeness, decidability
- The idea of defeasible consequence
- Belief change
- Modal languages
- Transparent languages — using predicates to reveal the structure of atoms
- First–order languages
- Automated reasoning