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 |