scientific article; zbMATH DE number 1735883
From MaRDI portal
Publication:4329244
zbMath0993.03019MaRDI QIDQ4329244
Publication date: 29 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70)
Related Items (11)
Observational ultraproducts of polynomial coalgebras. ⋮ Modal Operators for Coequations ⋮ Modal Rules are Co-Implications ⋮ Stone coalgebras ⋮ Specifying coalgebras with modal logic ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ Coalgebraic logics \& duality ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras ⋮ Factorization systems and fibrations ⋮ On institutions for modular coalgebraic specifications.
This page was built for publication:
