Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
From MaRDI portal
Publication:3190168
DOI10.1007/978-3-662-44602-7_22zbMath1418.03085OpenAlexW2137116245MaRDI QIDQ3190168
Helle Hvid Hansen, Clemens Kupke, Raul Leal
Publication date: 15 September 2014
Published in: Advanced Information Systems Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44602-7_22
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)
Related Items (4)
Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ Hennessy-Milner results for probabilistic PDL ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Unnamed Item
This page was built for publication: Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
