Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
From MaRDI portal
Publication:2919451
DOI10.1016/j.entcs.2010.07.015zbMath1247.68173OpenAlexW2088194522MaRDI QIDQ2919451
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
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