On monotone modalities and adjointness

DOI10.1017/S0960129510000514MaRDI QIDQ3005992zbMATH OpenFDO

Authors Marta Bílková, Jiří Velebil, Yde Venema

Publication date 10 June 2011

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

adjoint functorscoalgebraic modal logiclogical connectionmonotone modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• A coalgebraic perspective on monotone modal logic
• Positive monotone modal logic
• Completeness for the coalgebraic cover modality
• Stone coalgebras
• Nabla Algebras and Chu Spaces

Cites work

• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• A finite model construction for coalgebraic modal logic
• Automata and fixed point logic: a coalgebraic perspective
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Completions of \(\mu \)-algebras
• Equational coalgebraic logic
• Pro-Categories and Multiadjoint Functors
• Testing Semantics: Connecting Processes and Process Logics

Cited in

(3)

• Modalities and Parametric Adjoints
• Modes of adjointness
• A coalgebraic perspective on monotone modal logic

This page was built for publication: On monotone modalities and adjointness

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