Predicate Liftings Versus Nabla Modalities

DOI10.1016/j.entcs.2008.05.026zbMath1279.03086OpenAlexW2050755555WikidataQ114182436 ScholiaQ114182436MaRDI QIDQ2873669

Raul Leal

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.026

zbMATH Keywords

modal logiccoalgebrapredicate liftinglogical translatorMoss' modalitysingleton lifting

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (6)

On a categorical framework for coalgebraic modal logic ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Equational Coalgebraic Logic

Cites Work

• Coalgebraic logic
• Automata and fixed point logic: a coalgebraic perspective
• Foundations of Software Science and Computational Structures
• Recent Trends in Algebraic Development Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Predicate Liftings Versus Nabla Modalities