Filozofická Fakulta

Katedra logiky

Aktuality

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

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