Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Výuka Klasické logiky I 16. a 17.10. z důvodu pracovní cesty odpadá. M. Bílková.

15. říjen 2017

byla umluvena na Pondělí 14:10 do učebny 119b. První přednáška proběhne v pondělí 9. října.

06. říjen 2017

začínají až ve Čt 12.10. (učebna 137, 15:00).
04. říjen 2017

Bílková M, Palmigiano A, Venema Y. Proof systems for Moss' coalgebraic logic. Theoretical Computer Science. 2014;549:36-60.
Bílková M, Velebil J, Venema Y. On monotone modalities and adjointness. Mathematical Structures in Computer Science. 2011;21:383-416.
Bílková M, Palmigiano A, Venema Y. Proof systems for the coalgebraic cover modality. Advances in Modal Logic. 2008;7:1-21. Stáhnout: pdf (526.87 KB)