Filozofický ústav SAV, v. v. i.
Názov témy
Sémantika a teória dôkazov neklasickej logiky
Program DŠ
systematická filozofia (2.1.2)
Rok prijímania
2026
Meno školiteľa/-ky
Matteo Pascucci, PhD.
Kontakt:
Prijímajúca škola
Univerzita Komenského v Bratislave
Stručná anotácia
Od doktorandov pracujúcich v tejto oblasti sa očakáva, že budú skúmať vlastnosti modálnych logiek a iných ne-klasických rámcov. Môžu sa zaoberať technickými problémami (napr. axiomatizácie, definície kalkulov založených na pravidlách, výsledky rozhodnuteľnosti) alebo aplikáciami svojich obľúbených systémov v rôznych oblastiach, ako je normatívne uvažovanie, epistemické uvažovanie a časové uvažovanie. Smery výskumu zahŕňajú aj analýzu expresívnych limitov ne-klasických rámcov.