๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Localization in Coalgebras. Stable Localizations and Path Coalgebras

โœ Scribed by Jara, P.; Merino, L.; Navarro, G.; Ruiz, J. F.


Book ID
120305306
Publisher
Taylor and Francis Group
Year
2006
Tongue
English
Weight
206 KB
Volume
34
Category
Article
ISSN
0092-7872

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Localization in right (*)-serial coalgeb
โœ Weili Fan; Hailou Yao ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Higher Education Press and Springer ๐ŸŒ English โš– 215 KB
Coalgebraic modal logic: soundness, comp
โœ Dirk Pattinson ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 275 KB

This paper studies รฟnitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness and decidability results. The logics are studied within the abstract framework of coalgebraic modal logic, which can be instantiated with arbitrary endofunctors on the cat