Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

The traditional festive meeting of the department & friends of logic will take place...

11. prosinec 2017

jsou z důvodu dovolené sekretariát a knihovna uzavřeny

11. prosinec 2017

V současné době přecházíme na nové stránky http://logic.ff.cuni.cz, které jsou primárně v...

29. listopad 2017

Bílková M, Palmigiano A, Venema Y. Proof systems for Moss' coalgebraic logic. Theoretical Computer Science. 2014;549:36-60.
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)