A compositional approach to defining logics for coalgebras
type: Item
instance of: scholarly article
title: A compositional approach to defining logics for coalgebras
zbMATH Open document ID: 1088.03030
author: Corina Cîrstea
published in: Theoretical Computer Science
publication date: 2005-01-11T00:00:00Z
full work available at URL: tcs.pdf
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18B20
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 2126096
zbMATH Keywords: coalgebra
zbMATH Keywords: modal logic
zbMATH Keywords: behavioural equivalence
zbMATH Keywords: Hennessy-Milner property
MaRDI profile type: Publication
OpenAlex ID: W2000129083
cites work: On the greatest fixed point of a set functor
cites work: Algebraically compact functors
cites work: A hierarchy of probabilistic system types
cites work: Q4856547
cites work: On expressivity and compositionality in logics for coalgebras
cites work: CONCUR 2004 - Concurrency Theory
cites work: Bisimulation for probabilistic transition systems: A coalgebraic approach
cites work: Many-sorted coalgebraic modal logic: A model-theoretic study
cites work: Bisimulation through probabilistic testing
cites work: Coalgebraic logic
cites work: Expressive logics for coalgebras via terminal sequence induction
cites work: Q4499303
cites work: Modal logics for observation equivalences
cites work: On the final sequence of a finitary set functor
DOI: 10.1016/J.TCS.2004.07.021
Recommended article: On expressivity and compositionality in logics for coalgebras
Recommended article: Q4533390
Recommended article: Q4222950
Recommended article: Specifying coalgebras with modal logic
Recommended article: Coalgebraic logic
Recommended article: Strongly complete logics for coalgebras
Recommended article: On the Fusion of Coalgebraic Logics
Recommended article: Coalgebraic Semantics for Derivations in Logic Programming
Recommended article: Algebraic semantics for coalgebraic logics
Recommended article: Recent Trends in Algebraic Development Techniques
description: scientific article; zbMATH DE number 2126096