Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Department of Theoretical Computer Science, Institute of Computer Science,
...

26. květen 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)