scientific article; zbMATH DE number 1497872
From MaRDI portal
Publication:4499303
zbMath0959.03502MaRDI QIDQ4499303
Publication date: 5 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)
Related Items
An institution of modal logics for coalgebras ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Coalgebraic modal logic: soundness, completeness and decidability of local consequence ⋮ Deriving Syntax and Axioms for Quantitative Regular Behaviours ⋮ A finite model construction for coalgebraic modal logic ⋮ Presenting functors on many-sorted varieties and applications ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Modal Rules are Co-Implications ⋮ Modal Languages for Coalgebras in a Topological Setting ⋮ A compositional approach to defining logics for coalgebras ⋮ Stone coalgebras ⋮ A coalgebraic view on positive modal logic ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ A modal proof theory for final polynomial coalgebras ⋮ A Kleene Theorem for Polynomial Coalgebras ⋮ Coalgebraic logics \& duality ⋮ Equational Coalgebraic Logic ⋮ Institutionalising Many-Sorted Coalgebraic Modal Logic ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ Final coalgebras and the Hennessy-Milner property ⋮ Coalgebras and monads in the semantics of Java ⋮ Coalgebraic Modal Logic Beyond Sets ⋮ On institutions for modular coalgebraic specifications. ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties ⋮ Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
