Weak completeness of coalgebraic dynamic logics

MaRDI QIDQ5014445zbMATHFDO

Authors Helle Hvid Hansen, Clemens Kupke

Publication date 2 December 2021

Full work available at URL https://arxiv.org/abs/1509.03017

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• Strong completeness for iteration-free coalgebraic dynamic logics
• Completeness for coalgebraic fixpoint logic
• Positive fragments of coalgebraic logics
• scientific article; zbMATH DE number 139632
• Iteration-free PDL with intersection: A complete axiomatization

Cites work

• scientific article; zbMATH DE number 3880483 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3724515 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• A coalgebraic approach to linear-time logics
• A finite model construction for coalgebraic modal logic
• A recipe for state-and-effect triangles
• Algebra and Coalgebra in Computer Science
• An elementary proof of the completeness of PDL
• Coalgebraic semantics of modal logics: an overview
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Dijkstra and Hoare monads in monadic computation
• Game logic -- an overview
• Game logic is strong enough for parity games
• Propositional dynamic logic of regular programs
• Results on the propositional \(\mu\)-calculus
• Strong completeness for iteration-free coalgebraic dynamic logics
• Strong completeness of coalgebraic modal logics
• Universal coalgebra: A theory of systems

Cited in

(7)

• Many-valued coalgebraic modal logic: one-step completeness and finite model property
• A propositional dynamic logic for instantial neighborhood semantics
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• Hennessy-Milner results for probabilistic PDL
• Coalgebraic logics \& duality
• A categorical approach to coalgebraic fixpoint logic
• Strong completeness for iteration-free coalgebraic dynamic logics

This page was built for publication: Weak completeness of coalgebraic dynamic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014445)