Decision Procedures for Logical Theories

Slides
  • 15.04.2008 Motivation [PDF], [PS]
  • 15.04.2008 Suggested topics

  • 21.04.2008 Giving (Seminar) Talks

  • 28.04.2008 Introduction to first-order logic

  • 05.05.2008 Logical Theories: Introduction

  • 02.06.2008 Modal and description logics: An introduction

  • 16.06.2008 Extensions and combinations of theories
  • Generalities
  • Combinations of theories with disjoint signatures: The Nelson/Oppen Method

  • 14.07.2008 Decision Procedure for Logical Theories: Summary
    • Viorica Sofronie-Stokkermans <sofronie@mpi-sb.mpg.de> April 29, 2008.