scientific article
From MaRDI portal
Publication:2762529
zbMath0976.68109MaRDI QIDQ2762529
Publication date: 9 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2010/20100514
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)
Related Items (16)
Algebraic-coalgebraic specification in CoCASL ⋮ Coalgebraic modal logic: soundness, completeness and decidability of local consequence ⋮ A finite model construction for coalgebraic modal logic ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Modal Rules are Co-Implications ⋮ Stone coalgebras ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ Towards Weak Bisimulation For Coalgebras ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ Modal Predicates and Coequations ⋮ Towards coalgebraic behaviourism ⋮ A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras ⋮ Coalgebraic Modal Logic Beyond Sets ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
This page was built for publication:
