Faculty of Science

Objectives

To provide a broad understanding of the foundations of modal logics and its current applications in Computer Science and Engineering.

Contents

Introduction to modal logics; Possible world semantics; some well-behaving modal logics; Hilbert-style proof theory; The Tableau method, finite model property; Decidability, relation to predicate logic, multi-modal logics, and computational complexity; Introduction to temporal logics CTL, LTL, and CTL*, expressing properties with temporal logics; Model checking in temporal logics; Tableau method for temporal logics; Related topics and applications.