Haku
Viitteet 1-1 / 1
Generalizing the Goldblatt-Thomason Theorem and Modal Definability
(Tampere University Press, 2008)
Väitöskirja
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 ...