A tantárgy az alábbi témakörök ismeretére épít:
Matematikai logika, univerzális algebra.
A tantárgy szerepe a képzés céljának megvalósításában:
Szabadon választható tárgy doktorandusz és felsőbbéves matematikus hallgatóknak.
A tantárgy részletes tematikája magyarul és angolul:
Propozicionális modális logikák. Kripke-szemantika. Bizonyításelmélet. Módszerek teljesség és eldönthetőség vizsgálatára.
Speciális modális logikák: S4, S5, T, bizonyíthatósági logika. Multimodális logikák. Nem-teljességi tételek. Algebrai szemantika: operátoros Bool- algebrák, kanonikus beágyazás, megmaradási tételek. Temporális logikák. Elsőrendű modális logikák, propozicionális és elsőrendű dinamikus logika.
Követelmények szorgalmi időszakban:
Követelmények vizsgaidőszakban:
Pótlási lehetőségek:
A Tanulmányi Vizsgaszabályzatban előírtaknak megfelelően.
Konzultációs lehetőségek:
Jegyzet, tankönyv, felhasználható irodalom:
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, CUP 2001.
Goldblatt, R.: Logics of Time and Computation, 2nd ed., CSLI, Stanford, 1992.
Nyomtatóbarát változat
