Kurzus nemzetközi vendég- és részidős hallgatóknak

Kar

Bölcsészettudományi Kar

Szervezet

BTK Filozófia Intézet

Kód

BMI-LOTD-327E.04

Cím

Algebrai logika, kategóriaelmélet III.: Modális logika

Tervezett félév

Tavaszi

Meghirdetve

2025/26/2

ECTS

4

Nyelv

en

Oktatás célja

A tantárgy célja: A kurzus intenzív bevezetést nyújt a modális logikák területébe, ezek különböző tudományterületeken való alkalmazásaiba, valamint algebrai megfelelőikbe. A tantárgy tartalma: A kurzus során áttekintjük az ezekben a rendszerekben alkalmazott alapvető modellelméleti technikákat (generált részstruktúrák, p-morfizmusok, biszimuláció, ultraszűrő-kiterjesztés stb.), a korrespindencia elméletet (első- és másodrendű megfeleltetések, standard fordítás), a Kripke szemantika teljességi és nemteljességi eredményeit, az algebrai szemantikát az algebrai teljességi tételeket, valamint betekintést nyújtunk néhány alkalmazásba is (pl. temporális logika, dinamikus episztemikus logika). Értékelés, speciális követelmények: Az értékelés alapját rendszeresen, heti rendszerességgel beadandó házi feladatok képezik. Irodalom: • Blackburn, P., Rijke, M., Venema Y. Modal logic. Cambridge University Press, 2002. • Chagrov, A., Zakharyaschev M. Modal logic. Clarendon Press, Oxford, 1997. • Előadás jegyzet

Kurzus szakjai