Coalgebraic trace semantics via forgetful logics
From MaRDI portal
Publication:2974794
DOI10.2168/LMCS-12(4:10)2016zbMath1445.68129MaRDI QIDQ2974794
Publication date: 11 April 2017
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30)
Related Items (5)
Iterated covariant powerset is not a monad ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coalgebraic logics \& duality ⋮ Steps and traces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On a categorical framework for coalgebraic modal logic
- Coalgebraic semantics of modal logics: an overview
- Category theory for operational semantics
- Structural induction and coinduction in a fibrational setting
- Universal coalgebra: A theory of systems
- Reactive, generative, and stratified models of probabilistic processes
- Coreflections in algebraic quantum logic
- Trace semantics via determinization
- Kan extensions in enriched category theory
- Trace Semantics via Generic Observations
- A Coalgebraic Perspective on Minimization and Determinization
- Minimization via Duality
- Coalgebraic Trace Semantics via Forgetful Logics
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Exemplaric Expressivity of Modal Logics
- Testing Semantics: Connecting Processes and Process Logics
- Adjoint Lifting Theorems for Categories of Algebras
- Generalizing determinization from automata to coalgebras
- Simplified Coalgebraic Trace Equivalence
- Coalgebraic Modal Logic Beyond Sets
- Canonical coalgebraic linear time logics
- Generic Trace Semantics and Graded Monads.
- CONCUR 2004 - Concurrency Theory
- Algebra-coalgebra duality in brzozowski's minimization algorithm
- A Coalgebraic Approach to Linear-Time Logics
- Generic Trace Semantics via Coinduction
This page was built for publication: Coalgebraic trace semantics via forgetful logics
