Anotace
Kurs je věnován rozšiřením klasické logiky o sémantiku mozných světů. Posluchači se seznámí především se základy Tichého Transparentní Intensionální Logiky (TIL) a s Montagueho a Kripkeho sémantikou epistemických a modálních logik.
Kurs je věnován rozšiřením klasické logiky o sémantiku mozných světů. Posluchači se seznámí především se základy Tichého Transparentní Intensionální Logiky (TIL) a s Montagueho a Kripkeho sémantikou epistemických a modálních logik.