Trepo - Selaus asiasanan mukaan "n-bisimulaatio"

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