On independence-friendly fixpoint logics
We introduce a fixpoint extension of Hintikka and Sandu’s IF (independence-friendly) logic. We obtain some results on its complexity and expressive power. We relate it to parity games of imperfect information, and show its application to defining independence-friendly modal mu-calculi.
Main Author: | |
---|---|
Format: | Article |
Language: | deu |
Published: |
Éditions Kimé
2004-10-01
|
Series: | Philosophia Scientiæ |
Online Access: | http://journals.openedition.org/philosophiascientiae/568 |
_version_ | 1797402562071101440 |
---|---|
author | J. C. Bradfield |
author_facet | J. C. Bradfield |
author_sort | J. C. Bradfield |
collection | DOAJ |
description | We introduce a fixpoint extension of Hintikka and Sandu’s IF (independence-friendly) logic. We obtain some results on its complexity and expressive power. We relate it to parity games of imperfect information, and show its application to defining independence-friendly modal mu-calculi. |
first_indexed | 2024-03-09T02:26:06Z |
format | Article |
id | doaj.art-ca75f5eb1c9d4478bb3aa8c35cd20a72 |
institution | Directory Open Access Journal |
issn | 1281-2463 1775-4283 |
language | deu |
last_indexed | 2024-03-09T02:26:06Z |
publishDate | 2004-10-01 |
publisher | Éditions Kimé |
record_format | Article |
series | Philosophia Scientiæ |
spelling | doaj.art-ca75f5eb1c9d4478bb3aa8c35cd20a722023-12-06T15:54:38ZdeuÉditions KiméPhilosophia Scientiæ1281-24631775-42832004-10-018212514410.4000/philosophiascientiae.568On independence-friendly fixpoint logicsJ. C. BradfieldWe introduce a fixpoint extension of Hintikka and Sandu’s IF (independence-friendly) logic. We obtain some results on its complexity and expressive power. We relate it to parity games of imperfect information, and show its application to defining independence-friendly modal mu-calculi.http://journals.openedition.org/philosophiascientiae/568 |
spellingShingle | J. C. Bradfield On independence-friendly fixpoint logics Philosophia Scientiæ |
title | On independence-friendly fixpoint logics |
title_full | On independence-friendly fixpoint logics |
title_fullStr | On independence-friendly fixpoint logics |
title_full_unstemmed | On independence-friendly fixpoint logics |
title_short | On independence-friendly fixpoint logics |
title_sort | on independence friendly fixpoint logics |
url | http://journals.openedition.org/philosophiascientiae/568 |
work_keys_str_mv | AT jcbradfield onindependencefriendlyfixpointlogics |