Metadata
Author: ParaCrawl Corpus
Data
English[en]
In this thesis we study the expressive power of various logics with team semantics; such as inclusion, exclusion, dependence and nondependence logics.
Finnish[fi]
Tiivistelmä Tutkimme tässä väitöskirjassa ilmaisuvoimaa erilaisille tiimisemantiikalla määritellyille logiikoille kuten inkluusio-, ekskluusio- ja riippuvuuslogiikalle.