Many-valued relation lifting and Moss' coalgebraic logic

DOI10.1007/978-3-642-40206-7_7MaRDI QIDQ2848940zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(8)

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

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)