Completeness for the coalgebraic cover modality

DOI10.2168/LMCS-8(3:2)2012zbMath1261.18006arXiv1206.4935OpenAlexW2046881047MaRDI QIDQ2904618

Clemens Kupke, Yde Venema, Alexander Kurz

Publication date: 15 August 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

modal logiccoalgebracompletenessrelation liftingcover modalitypresentations by generators and relationsstate/transition-based systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Related Items (11)

Relation lifting, a survey ⋮ Rough and Near: Modal History of Two Theories ⋮ The succinctness of the cover modality ⋮ Proof systems for Moss' coalgebraic logic ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Unnamed Item ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ Unnamed Item ⋮ Coalgebraic logics \& duality ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Lax extensions of coalgebra functors and their logic

This page was built for publication: Completeness for the coalgebraic cover modality