Marko Limbek: Modalna logika, 2. del
Date: 7. 11. 2011
Source: Mathematics and theoretical computing seminar
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!