Generic infinite traces and path-based coalgebraic temporal logics
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.68173
published in: Electronic Notes in Theoretical Computer Science
publication date: 2012-10-02T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6089942
zbMATH Keywords: coalgebra
zbMATH Keywords: trace semantics
zbMATH Keywords: temporal logic
zbMATH Keywords: nondeterminism
zbMATH Keywords: probability
author: Corina Cîrstea
MaRDI profile type: Publication
full work available at URL: j.entcs.2010.07.015
OpenAlex ID: W2088194522
cites work: Modular construction of complete coalgebraic logics
cites work: Modular games for coalgebraic fixed point logics
cites work: Q4283467
cites work: “Sometimes” and “not never” revisited
cites work: Q3946875
cites work: A logic for reasoning about time and reliability
cites work: Generic Trace Semantics via Coinduction
cites work: Semantics of weakening and contraction
cites work: Trace semantics for coalgebras
cites work: Traces, Executions and Schedulers, Coalgebraically
cites work: Bisimulation through probabilistic testing
cites work: Expressive logics for coalgebras via terminal sequence induction
cites work: Universal coalgebra: A theory of systems
cites work: Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
DOI: 10.1016/J.ENTCS.2010.07.015
title: Generic infinite traces and path-based coalgebraic temporal logics
description: scientific article; zbMATH DE number 6089942