Osaamistavoitteet

Kurssilla syvennetään opiskelijoiden tietoja modaalilogiikan todistusteoriasta, sekä perehdytään modaalilogiikan määriteltävyysteoriaan. Kurssin suoritettuaan opiskelija osaa mm. itsenäisesti tutkia onko annettu modaalilogiikan kaava tosi/validi annetussa mallissa/kehyksessä/kehysluokassa. Lisäksi opiskelija ymmärtää, kuinka bisimulaatiota käytetään työkaluna tutkittaessa malliluokkien ja kehysluokkien määriteltävyyttä.

Sisältö

Täydellisyyslause eri modaalisysteemeille; bisimulaatio ja modaalinen ekvivalenssi; puumallit ja äärelliset mallit; kehysmääriteltävyys; korrespondenssiteoriaa; erilliset yhdisteet, generoidut alimallit ja p-morfiset kuvat.

Arviointi

Kirjallisuus/Oppimateriaali

1. Rantala, V., Virtanen, A., Johdatus modaalilogiikkaan. Gaudeamus 2004.
2. Blackburn, P., de Rijke, M., Venema, Y., Modal Logic. Cambridge University Press 2002.

Kokonaisuudet johon opintojakso kuuluu

2011–2012

Opintojakso opetusohjelmassa

Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.

MATES53 Modaalilogiikan jatkokurssi