computer science

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.

• 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