Lehrinhalte
This course focuses on the formalisation of concepts related to sets of variable assignments rather than individual assignments, with an emphasis on a model-theoretic treatment. Team semantics has roots in the modelling and logical treatment of notions of dependence and independence in connection with first-order quantification and characteristically introduces some second-order features, even on the basis
of weak fragments of first-order logic and starting from propositional logic.
In the course we look at the addition of team semantic primitives in the range between propositional logic and first-order logic. Most notably these involve atomic team properties for dependence, independence, inclusion and exclusion. A main goal is the model-theoretic investigation of the expressive power of the resulting logics.
Some keywords:
team semantics and team properties, dependence/independence, inklusion/exclusion;
proposituional, modal and first-order team logics; relationships with second-order logic;
model-theoretic games and equivalences; relevant fragments of first- and second-order logic.
Literatur
among other sources:
Vaananen: Dependence Logic (2007)
Abramsky, Kontinen, Vaananen, Vollmer (eds): Dependence Logic (2016)
Voraussetzungen
recommended: depending on topic
Online-Angebote
moodle
This course focuses on the formalisation of concepts related to sets of variable assignments rather than individual assignments, with an emphasis on a model-theoretic treatment. Team semantics has roots in the modelling and logical treatment of notions of dependence and independence in connection with first-order quantification and characteristically introduces some second-order features, even on the basis
of weak fragments of first-order logic and starting from propositional logic.
In the course we look at the addition of team semantic primitives in the range between propositional logic and first-order logic. Most notably these involve atomic team properties for dependence, independence, inclusion and exclusion. A main goal is the model-theoretic investigation of the expressive power of the resulting logics.
Some keywords:
team semantics and team properties, dependence/independence, inklusion/exclusion;
proposituional, modal and first-order team logics; relationships with second-order logic;
model-theoretic games and equivalences; relevant fragments of first- and second-order logic.
Literatur
among other sources:
Vaananen: Dependence Logic (2007)
Abramsky, Kontinen, Vaananen, Vollmer (eds): Dependence Logic (2016)
Voraussetzungen
recommended: depending on topic
Online-Angebote
moodle
- Lehrende: Martin Otto
Semester: ST 2020