January 2023, LIACT:

Logic(s): (non-)classical models of reasoning

• slides (corrected! version 7.1.2023)

LS 2022:

Non-classical models of reasoning ALG519025

Thursday 15:00 C116, FF UK, Celetná 20, Praha 1.

LS 2020:

Non-classical models of reasoning ALG519025

Thursday 13:20 C119, FF UK, Celetná 20, Praha 1.

LS 2019:

Modální logiky I ALG210008

Úterý 11:40 C119 (119; Celetná 20 - KLOG) FF UK, Celetná 20, Praha 1.

Modální logiky II ALGV00038

Kurs se koná formou konzultací a samostudia, ve spolupráci s Michalem Pelišem.

LS 2018:

Teorie důkazů ALGV00012

Pondělí 12:30, C119 (119; Celetná 20 - KLOG) FF UK, Celetná 20, Praha 1.

Modální logiky I ALG210008

Pondělí 10:00 C119 (119; Celetná 20 - KLOG) FF UK, Celetná 20, Praha 1.