scientific article; zbMATH DE number 1753205
From MaRDI portal
Publication:4533390
zbMath0995.08001MaRDI QIDQ4533390
Publication date: 10 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logiccoalgebrasequational logicalgebraic specificationsKripke modelscategories of algebrascategories of coalgebrascoalgebraic specificationsignature functor
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05)
Related Items (36)
Observational logic, constructor-based logic, and their duality. ⋮ Relating Coalgebraic Notions of Bisimulation ⋮ Minimality Notions via Factorization Systems and Examples ⋮ An institution of modal logics for coalgebras ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Coalgebraic modal logic: soundness, completeness and decidability of local consequence ⋮ Unnamed Item ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ Coequational logic for accessible functors ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Resource bisimilarity and graded bisimilarity coincide ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ More existence theorems for recursion categories. ⋮ Coalgebraic minimization of automata by initiality and finality ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Modal Operators for Coequations ⋮ Modal Rules are Co-Implications ⋮ Modal Languages for Coalgebras in a Topological Setting ⋮ Bisimulation on Markov Processes over Arbitrary Measurable Spaces ⋮ Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems ⋮ Duality of Equations and Coequations via Contravariant Adjunctions ⋮ A hierarchy of probabilistic system types ⋮ Stone coalgebras ⋮ A coalgebraic view on positive modal logic ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ Unnamed Item ⋮ Coalgebraic logics \& duality ⋮ Unnamed Item ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Some Co-Birkhoff Type Theorems ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ Modal Predicates and Coequations ⋮ Factorization systems and fibrations ⋮ Unnamed Item ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ On institutions for modular coalgebraic specifications.
This page was built for publication: