Home > News > Marko Limbek: Modalna logika, 2. del

Marko Limbek: Modalna logika, 2. del

Date: 7. 11. 2011
Source: Mathematics and theoretical computing seminar
Torek, 8. 11. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19

Povzetek: V drugem od dveh predavanj bomo spoznali Kripkejevo semantiko za modalno logiko ter dokazali izreka o zdravju in polnosti modalne logike za Kripkejevo semantiko.

Vabljeni!