Publication:4533390
From MaRDI portal
zbMath0995.08001MaRDI QIDQ4533390
Publication date: 10 June 2002
modal logic; coalgebras; equational logic; algebraic specifications; Kripke models; categories of algebras; categories of coalgebras; coalgebraic specification; signature functor
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
08A70: Applications of universal algebra in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03C05: Equational classes, universal algebra in model theory
08C05: Categories of algebras
Related Items
Expressive logics for coalgebras via terminal sequence induction, Coequational logic for accessible functors, A hierarchy of probabilistic system types, Stone coalgebras, A coalgebraic view on positive modal logic, Bialgebraic methods and modal logic in structural operational semantics, Observational ultraproducts of polynomial coalgebras., More existence theorems for recursion categories., On institutions for modular coalgebraic specifications., Observational logic, constructor-based logic, and their duality., Coalgebraic modal logic: soundness, completeness and decidability of local consequence, An institution of modal logics for coalgebras, Algebraic-coalgebraic specification in CoCASL, Expressivity of coalgebraic modal logic: the limits and beyond