Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Model constructions for Moss' coalgebraic logic

Autor: Bergfeld, J., Venema, Y., Corradini, A., Klin, B., Cîrstea, C.

Publikováno v: Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011: proceedings, 100-114
STARTPAGE=100;ENDPAGE=114;TITLE=Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science ISBN: 9783642229435
CALCO

We discuss two model constructions related to the coalgebraic logic introduced by Moss. Our starting point is the derivation system M T for this logic, given by Kupke, Kurz and Venema. Based on the one-step completeness of this system, we first const

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::802ad5a4c410838dad14bbb52c35e46f
https://dare.uva.nl/personal/pure/en/publications/model-constructions-for-moss-coalgebraic-logic(1e1bb333-c9f6-4b0b-86ef-9d2ad25689ac).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.