Filozofická Fakulta

Katedra logiky

Aktuality

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné...
22. duben 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)