Košík

0327987 - ÚI 2010 NL eng A - Abstrakt
Bílková, Marta - Palmigiano, A. - Venema, Y.
Gentzen System for Coalgebraic Cover Modalities.
Topology, Algebra and Categories in Logic. Amsterdam: University of Amsterdam, 2009.
[TACL 2009. Topology, Algebra and Categories in Logic. 07.07.2009-11.07.2009, Amsterdam]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logic * coalgebraic logic * Gentzen systems * cover modality
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174404