scientific article

From MaRDI portal

Publication:2763651

Jump to:navigation, search

zbMath0979.03508MaRDI QIDQ2763651

Dirk Pattinson

Publication date: 21 January 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

domains modal logic coalgebras fibrations Scott topology expressivity predicate liftings cofibrations parameter transformations natural relations

Mathematics Subject Classification ID

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:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2763651&oldid=15637885"