Lecture-Notes.pdf
PDF,
3 MB
Lecture notes
Lecture slides
Lecture-Slides.pdf
PDF,
3 MB
35TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (https://2024.esslli.eu/)
Course: Complexity and Expressivity of Propositional Logics with Team Semantics
Course information
Lecturers: Arne Meier and Jonni Virtema
Venue: Leuven, Belgium, Lecture Hall Ruth Benedict
Dates & Meeting times: 5.-9. August 2024
Course Overview
In the last decade there has been a growing interest in the study of a unified logical theory for the concept of dependence. A variety of logics have been introduced in the first-order, propositional and modal contexts. The common denominator for these logics is the adaptation of team semantics as a core notion. These new logics have several applications in many different research areas such as database theory, linguistics and philosophy. The main goal of this course is to introduce propositional variants of dependence and inclusion logic and to investigate their expressiveness and the computational complexity of satisfiability, validity, and model checking. Students will acquire key technical observations and techniques in the context of propositional team semantics that will be useful for improving their overall understanding of the expressivity and complexity of the logics, as well as skills and knowledge regarding reductions and algorithms.
Last Change: 09.08.24
