Modular Games for Coalgebraic Fixed Point Logics
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 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.
coalgebra, modal logic, fixed point logic, parity games
71-92
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
Adámek, Jiri
1337fbcd-e73e-4a14-b1d4-eba4aba89ecb
Kupke, Clemens
903c8340-ea04-43d6-aefa-e613e5a2034d
2008
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
Adámek, Jiri
1337fbcd-e73e-4a14-b1d4-eba4aba89ecb
Kupke, Clemens
903c8340-ea04-43d6-aefa-e613e5a2034d
Cirstea, Corina and Sadrzadeh, Mehrnoosh
(2008)
Modular Games for Coalgebraic Fixed Point Logics.
Adámek, Jiri and Kupke, Clemens
(eds.)
Coalgebraic Methods in Computer Science 2008.
.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
cmcs.pdf
- Version of Record
More information
Published date: 2008
Venue - Dates:
Coalgebraic Methods in Computer Science 2008, 2008-01-01
Keywords:
coalgebra, modal logic, fixed point logic, parity games
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266888
URI: http://eprints.soton.ac.uk/id/eprint/266888
PURE UUID: aeba4fa0-4cf7-437e-b6ca-31584100cda2
Catalogue record
Date deposited: 07 Nov 2008 22:38
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Author:
Mehrnoosh Sadrzadeh
Editor:
Jiri Adámek
Editor:
Clemens Kupke
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics