Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

DOI10.1016/j.entcs.2010.07.015zbMath1247.68173OpenAlexW2088194522MaRDI QIDQ2919451

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

coalgebraprobabilitytemporal logicnondeterminismtrace semantics

Mathematics Subject Classification ID

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

Related Items

Unnamed Item ⋮ Maximal traces and path-based coalgebraic temporal logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Expressive logics for coalgebras via terminal sequence induction
• Bisimulation through probabilistic testing
• Semantics of weakening and contraction
• A logic for reasoning about time and reliability
• Universal coalgebra: A theory of systems
• Modular construction of complete coalgebraic logics
• Modular Games for Coalgebraic Fixed Point Logics
• Traces, Executions and Schedulers, Coalgebraically
• Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
• “Sometimes” and “not never” revisited
• Generic Trace Semantics via Coinduction