"Validity in Frames" - Selaus asiasanan mukaan Väitöskirjat

Viitteet 1-1 / 1

    • Generalizing the Goldblatt-Thomason Theorem and Modal Definability 

      Lehtinen, Suvi
      Acta Electronica Universitatis Tamperensis : 786 (Tampere University Press, 2008)
      Väitöskirja
      Määriteltävyysteoria tutkii erilaisia kieliä ja niiden ilmaisuvoimaa. Niinpä modaalilogiikan määriteltävyysteoria, johon tämä työ kuuluu, tutkii erilaisten modaalisten kielten ilmaisuvoimaa. Tarkasteltava kieli määrittelee ...