Many-Valued Relation Lifting and Moss’ Coalgebraic Logic

DOI10.1007/978-3-642-40206-7_7zbMath1394.03081OpenAlexW18477301MaRDI QIDQ2848940

Marta Bílková, Matĕj Dostál

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40206-7_7

zbMATH Keywords

coalgebramany-valued logiccoalgebraic logicrelation lifting

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Frames, locales (06D22) Many-valued logic (03B50) Categories of sets, characterizations (18B05)

Related Items

Expressivity of Many-Valued Modal Logics, Coalgebraically