Many-valued relation lifting and Moss' coalgebraic logic

DOI10.1007/978-3-642-40206-7_7zbMATH Open1394.03081OpenAlexW18477301MaRDI QIDQ2848940FDOQ2848940

Authors: 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

Recommendations

• Relation lifting, with an application to the many-valued cover modality
• Relation lifting, a survey
• Relation liftings on preorders and posets
• Lax extensions of coalgebra functors and their logic
• Algebra and Coalgebra in Computer Science

zbMATH Keywords

coalgebramany-valued logiccoalgebraic logicrelation lifting

Mathematics Subject Classification ID

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

Cited In (8)

• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• Many-valued coalgebraic modal logic: one-step completeness and finite model property
• Relation lifting, a survey
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• Relation liftings on preorders and posets
• Lax extensions of coalgebra functors and their logic
• Relation lifting, with an application to the many-valued cover modality
• Predicate liftings versus nabla modalities

This page was built for publication: Many-valued relation lifting and Moss' coalgebraic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848940)