"n-bisimulaatio" - Selaus asiasanan mukaan Opinnäytteet - ylempi korkeakoulututkinto

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 ...