Weak completeness of coalgebraic dynamic logics

MaRDI QIDQ5014445zbMATH OpenFDO

Authors Helle Hvid Hansen, Clemens Kupke

Publication date 2 December 2021

Full work available at URL https://arxiv.org/abs/1509.03017, http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.9

Mathematics Subject Classification ID

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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

• 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
• 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?)
• 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)

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

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)