Filozofická Fakulta

Katedra logiky

Aktuality

se konají společně v Út 6.2.2018. od 9h.

11. leden 2018

se konají v těchto termínech:

(1) středa 17.1.2018 od 14 hodin

(2) středa 24.1....

10. leden 2018

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)