An expressive completeness theorem for coalgebraic modal µ-calculi

Autor: Enqvist, S., Seifan, F., Venema, Y.

Publikováno v: Logical Methods in Computer Science, 13(2):14. Technischen Universitat Braunschweig

Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas. More speci

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::689c75c635edc4d2f98b396fe67e5e52
https://dare.uva.nl/personal/pure/en/publications/an-expressive-completeness-theorem-for-coalgebraic-modal-calculi(722c3654-d554-43ca-8da8-597a6f5a6897).html

Uniform Interpolation for Coalgebraic Fixpoint Logic

Autor: Marti, J., Seifan, F., Venema, Y., Moss, L.S., Sobociński, P.

Publikováno v: 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands, 238-252
STARTPAGE=238;ENDPAGE=252;TITLE=6th Conference on Algebra and Coalgebra in Computer Science

We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f343141f8257b32a8a5300af7d55528
http://arxiv.org/abs/1503.02319

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.

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