Coalgebraic modal logic: soundness, completeness and decidability of local consequence
scientific article; zbMATH DE number 2110994