scientific article
From MaRDI portal
Publication:2763651
zbMath0979.03508MaRDI QIDQ2763651
Publication date: 21 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
domainsmodal logiccoalgebrasfibrationsScott topologyexpressivitypredicate liftingscofibrationsparameter transformationsnatural relations
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Algebraic theory of languages and automata (68Q70) Categorical logic, topoi (03G30)
Related Items (5)
Algebraic-coalgebraic specification in CoCASL ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Ode to the PST
This page was built for publication:
