Haku
Viitteet 1-1 / 1
Kaavan pituuspeli modaalilogiikalle ja tiiviystuloksia
(2016)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämän tutkielman aiheena on kaavan pituuspeli modaalilogiikalle ja sen käyttäminen tiiviystulosten osoittamiseen. Aluksi määritellään modaalilogiikan syntaksi ja semantiikka sekä modaalilogiikkaan ja predikaattilogiikkaan ...