"expressive power" - Selaus asiasanan mukaan Väitöskirjat

    • Arity Fragments of Logics with Team Semantics 

      Rönnholm, Raine
      Acta Electronica Universitatis Tamperensis : 1955 (Tampere University Press, 2018)
      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 ...