Modular Games for Coalgebraic Fixed Point Logics


Cirstea, Corina and Sadrzadeh, Mehrnoosh (2008) Modular Games for Coalgebraic Fixed Point Logics. In, Coalgebraic Methods in Computer Science 2008 Elsevier, 71-92.

Download

[img] PDF - Published Version
Download (315Kb)

Description/Abstract

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 mu-calculus, as described e.g. in [19]. Inspired by recent work of Venema [21], we provide our logics with evaluation games that come equipped with a modular way of building the game boards. We also study a specific class of modular coalgebraic logics that allow for the introduction of an implicit negation operator.

Item Type: Conference or Workshop Item (Paper)
Keywords: coalgebra, modal logic, fixed point logic, parity games
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266888
Date Deposited: 07 Nov 2008 22:38
Last Modified: 28 Mar 2014 15:11
Research Funder: EPSRC
Projects:
Towards a Modular Approach to Model-Based Verification: logical, semantical and algorithmic support
Funded by: EPSRC (EP/D000033/1)
Led by: Corina Cirstea
19 January 2006 to 18 January 2008
Publisher: Elsevier
Contact Email Address: cc2@ecs.soton.ac.uk
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266888

Actions (login required)

View Item View Item