Košík

0320237 - ÚI 2009 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Palmigian, A. - Venema, Y.
Proof Systems for the Coalgebraic Cover Modality.
[Důkazové systémy pro koalgebraickou modalitu.]
Advances in Modal Logic. Vol. 7. London: College Publications, 2008 - (Areces, C.; Goldblatt, R.), s. 1-21. ISBN 978-1-904987-68-0.
[Advances in Modal Logic. Nancy (FR), 09.09.2008-12.09.2008]
Grant CEP: GA AV ČR IAA900090703
Grant ostatní: GA ČR(CZ) GA401/06/0387; NWO(NL) VICI 639.073.501
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logic * derivation system * coalgebra * coalgebraic modality * Gentzen calculus * completeness
Kód oboru RIV: BA - Obecná matematika
http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf
Trvalý link: http://hdl.handle.net/11104/0169172