"expressive power" - Selaus asiasanan mukaan Väitöskirjat
Viitteet 1-1 / 1
-
Arity Fragments of Logics with Team Semantics
Acta Electronica Universitatis Tamperensis : 1955 (Tampere University Press, 2018)
MonografiaväitöskirjaTutkimme tässä väitöskirjassa ilmaisuvoimaa erilaisille tiimisemantiikalla määritellyille logiikoille kuten inkluusio-, ekskluusio- ja riippuvuuslogiikalle. Keskitymme tutkimaan näiden logiikoiden alilogiikoita, jotka ...