On monotone modalities and adjointness
From MaRDI portal
Publication:3005992
DOI10.1017/S0960129510000514zbMath1234.03016MaRDI QIDQ3005992
Jiří Velebil, Marta Bílková, Yde Venema
Publication date: 10 June 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)
Cites Work
- Unnamed Item
- Completions of \(\mu \)-algebras
- Coalgebraic logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Automata and fixed point logic: a coalgebraic perspective
- A finite model construction for coalgebraic modal logic
- Equational Coalgebraic Logic
- Pro-Categories and Multiadjoint Functors
- Flat Coalgebraic Fixed Point Logics
- Testing Semantics: Connecting Processes and Process Logics
This page was built for publication: On monotone modalities and adjointness
