Haku
Viitteet 1-1 / 1
Arity Fragments of Logics with Team Semantics
(Tampere University Press, 2018)
Monografiaväitöskirja
Monografiaväitöskirja
Tutkimme tässä väitöskirjassa ilmaisuvoimaa erilaisille tiimisemantiikalla määritellyille logiikoille kuten inkluusio-, ekskluusio- ja riippuvuuslogiikalle. Keskitymme tutkimaan näiden logiikoiden alilogiikoita, jotka ...