On monotone modalities and adjointness

DOI10.1017/S0960129510000514zbMATH Open1234.03016MaRDI QIDQ3005992FDOQ3005992

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)

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

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)

Cites Work

• Automata and fixed point logic: a coalgebraic perspective
• Title not available (Why is that?)
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• A finite model construction for coalgebraic modal logic
• Completions of \(\mu \)-algebras
• Equational coalgebraic logic
• Testing Semantics: Connecting Processes and Process Logics
• Pro-Categories and Multiadjoint Functors

Cited In (3)

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

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)