Unification in non-classical logics: hot topics

Logic & Computation

The research on admissibility and unification for logical systems was originally motivated by automatic deduction tools. Today, admissibility and unification constitute the heart of an active research area: Rybakov (1984) and, later on, Ghilardi (1999) demonstrated that several intermediate or modal logics have decidable admissibility and unification problems; Ghilardi (2000) established their unification types; Jerabek (2007) examined their complexity; applications in the design and maintenance of knowledge bases has been considered by Baader and Narendran (2001), Baader and Kusters (2001) and Baader and Morawska (2009) within the context of description logics. Nevertheless, much remains to be done, seeing that little is known about admissibility and unification in several non-classical logics such as intermediate logics, modal logics and description logics. In this course, we will give a survey of the results on unification in these non-classical logics and we will present some of the open problems whose solution will have a great impact on the future of the area.

First week
09:00 - 10:30 - slot 1