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

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Corina Cîrstea, Mehrnoosh Sadrzadeh
• Keywords: ENTCS 2008, Evaluation Games, Modular Coalgebraic Logics, Modular Evaluation Games