Maximal traces and path-based coalgebraic temporal logics

DOI10.1016/J.TCS.2011.04.025MaRDI QIDQ639645zbMATH OpenOpenAlexFDO

Authors Corina Cîrstea

Publication date 22 September 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.04.025

zbMATH Keywords

pathscoalgebratemporal logicdistributive lawstraces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Generic infinite traces and path-based coalgebraic temporal logics
• Steps and traces
• Model checking linear coalgebraic temporal logics: an automata-theoretic approach
• A coalgebraic approach to linear-time logics
• Trace semantics for coalgebras

Cites work

• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 515978 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• A logic for reasoning about time and reliability
• Algebra and Coalgebra in Computer Science
• CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Expressive logics for coalgebras via terminal sequence induction
• Generic Trace Semantics via Coinduction
• Generic infinite traces and path-based coalgebraic temporal logics
• Modular construction of complete coalgebraic logics
• Modular games for coalgebraic fixed point logics
• Results on the propositional \(\mu\)-calculus
• Semantics of weakening and contraction
• Terminal Coalgebras for Measure-Polynomial Functors
• Trace semantics for coalgebras
• Traces, Executions and Schedulers, Coalgebraically
• Universal coalgebra: A theory of systems
• “Sometimes” and “not never” revisited

Cited in

(9)

• Coinductive predicates and final sequences in a fibration
• Linear-time logics -- a coalgebraic perspective
• Quantitative simulations by matrices
• Model checking linear coalgebraic temporal logics: an automata-theoretic approach
• scientific article; zbMATH DE number 7649944 (Why is no real title available?)
• The temporal logic of coalgebras via Galois algebras
• Coinductive predicates and final sequences in a fibration
• Generic infinite traces and path-based coalgebraic temporal logics
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking

This page was built for publication: Maximal traces and path-based coalgebraic temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q639645)