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

A Coalgebraic Perspective on Logical Interpretations

โœ Scribed by M. A. Martins, A. Madeira, L. S. Barbosa

Book ID
120780391
Publisher
Springer Netherlands
Year
2013
Tongue
English
Weight
423 KB
Volume
101
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A coalgebraic perspective on linear weig
A coalgebraic perspective on linear weighted automata
โœ Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 472 KB
On Logics for Coalgebraic Simulation
On Logics for Coalgebraic Simulation
โœ Corina Cรฎrstea ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 474 KB
A Logic for Coalgebraic Simulation
A Logic for Coalgebraic Simulation
โœ Alexandru Baltag ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 940 KB

Building on the work of L. Moss on coalgebraic logic, we study in a general setting a class of infinitary modal logics for \(F\)-coalgebras, designed to capture simulation and bisimulation. We use work by A. Thijs on coalgebraic modelling of simulation, in terms of relators \(\Gamma\) as extensions