Predicate liftings and functor presentations in coalgebraic expression languages
From MaRDI portal
Publication:1798785
DOI10.1007/978-3-030-00389-0_5OpenAlexW2962889307MaRDI QIDQ1798785
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Publication date: 23 October 2018
Full work available at URL: https://arxiv.org/abs/1805.07211
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantitative Kleene coalgebras
- Expressive logics for coalgebras via terminal sequence induction
- On 0-simple semirings, semigroup semirings, and two kinds of division semirings
- Notions of computation and monads
- Programming languages and their definition. Selected papers ed. by C. B. Jones
- Results on the propositional \(\mu\)-calculus
- Coalgebraic logic
- Characteristic formulae for processes with divergence
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Lax extensions of coalgebra functors and their logic
- Expressivity of coalgebraic modal logic: the limits and beyond
- Automata and fixed point logic: a coalgebraic perspective
- Non-Deterministic Kleene Coalgebras
- Equational Coalgebraic Logic
- Simulations and Bisimulations for Coalgebraic Modal Logics
- Predicate Liftings Versus Nabla Modalities
- Towards a Coalgebraic Chomsky Hierarchy
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Flat Coalgebraic Fixed Point Logics
- A modal characterization of observational congruence on finite terms of CCS
- Concurrent dynamic logic
- Termination, deadlock, and divergence
- Generalizing determinization from automata to coalgebras
- Monoid-labeled transition systems
- Generic Trace Semantics and Graded Monads.
- Reactive Systems
- The Existence of Probability Measures with Given Marginals
- Relational algebras
This page was built for publication: Predicate liftings and functor presentations in coalgebraic expression languages
