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

NadpisProof systems for the coalgebraic cover modality
Publication TypeJournal Article
AuthorsBílková, M., A. Palmigiano, and Y. Venema
URLhttp://www.aiml.net/volumes/volume7/
Stránky1–21
Volume7
Year2008
PublisherCollege Publications
JournalAdvances in Modal Logic
PřílohaVelikost
pdf526.87 KB