témavezető: Gyenis Zalán
belső konzulens: E.Szabó László
helyszín (magyar oldal): ELTE BTK helyszín rövidítés: ELTE
A kutatási téma leírása:
A logika számos, sokszor más területekről (mint például a matematika, filozófia, nyelvészet, jog) származó problémáinak vizsgálatánál hagyományos eljárásnak számít a formális, algebrai módszerek használata. A tervezett témában univerzális algebrai logikai eszközökkel vizsgálnák különféle modális logikákat, kis hangsúlyt fektetve ezen logikák eldönthetőségi kérdéseire.
előírt nyelvtudás: angol felvehető hallgatók száma: 1