Generic infinite traces and path-based coalgebraic temporal logics

DOI10.1016/J.ENTCS.2010.07.015MaRDI QIDQ2919451zbMATH OpenOpenAlexFDO

Authors Corina Cîrstea

Publication date 2 October 2012

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

Full work available at URL https://doi.org/10.1016/j.entcs.2010.07.015

zbMATH Keywords

probabilitycoalgebranondeterminismtemporal logictrace semantics

Mathematics Subject Classification ID

Temporal logic (03B44) Abstract data types; algebraic specification (68Q65)

Recommendations

• Maximal traces and path-based coalgebraic temporal logics
• scientific article; zbMATH DE number 6851946
• A coalgebraic approach to linear-time logics
• Trace semantics for coalgebras
• Model checking linear coalgebraic temporal logics: an automata-theoretic approach

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?)
• A logic for reasoning about time and reliability
• Bisimulation through probabilistic testing
• Coalgebraic logic over measurable spaces: behavioral and logical equivalence
• Expressive logics for coalgebras via terminal sequence induction
• Generic Trace Semantics via Coinduction
• Modular construction of complete coalgebraic logics
• Modular games for coalgebraic fixed point logics
• Semantics of weakening and contraction
• Trace semantics for coalgebras
• Traces, Executions and Schedulers, Coalgebraically
• Universal coalgebra: A theory of systems
• “Sometimes” and “not never” revisited

Cited in

(9)

• Generic Trace Semantics via Coinduction
• Maximal traces and path-based coalgebraic temporal logics
• A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
• Coalgebraic Infinite Traces and Kleisli Simulations
• Coalgebraic semantics of modal logics: an overview
• scientific article; zbMATH DE number 7471684 (Why is no real title available?)
• A coalgebraic approach to linear-time logics
• Coalgebraic infinite traces and Kleisli simulations
• Model checking linear coalgebraic temporal logics: an automata-theoretic approach

This page was built for publication: Generic infinite 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 Q2919451)