scientific article; zbMATH DE number 7437712
From MaRDI portal
Publication:5014445
zbMath1476.03036arXiv1509.03017MaRDI QIDQ5014445
Helle Hvid Hansen, Clemens Kupke
Publication date: 2 December 2021
Full work available at URL: https://arxiv.org/abs/1509.03017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (4)
Hennessy-Milner results for probabilistic PDL ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Coalgebraic logics \& duality ⋮ A propositional dynamic logic for instantial neighborhood semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coalgebraic semantics of modal logics: an overview
- Results on the propositional \(\mu\)-calculus
- Dijkstra and Hoare monads in monadic computation
- An elementary proof of the completeness of PDL
- Propositional dynamic logic of regular programs
- Game logic -- an overview
- Game logic is strong enough for parity games
- Universal coalgebra: A theory of systems
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- A finite model construction for coalgebraic modal logic
- Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
- A Recipe for State-and-Effect Triangles
- STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS
- A Coalgebraic Approach to Linear-Time Logics
- Algebra and Coalgebra in Computer Science
This page was built for publication: