Sciweavers

Share
ENTCS
2008

Modular Games for Coalgebraic Fixed Point Logics

10 years 11 months ago
Modular Games for Coalgebraic Fixed Point Logics
We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation games. These results are generalisations of their correspondents in the modal
Corina Cîrstea, Mehrnoosh Sadrzadeh
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Corina Cîrstea, Mehrnoosh Sadrzadeh
Comments (0)
books