Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance.
The doctoral dissertation introduces independence-friendly (IF) modal logic as an extension of standard modal logic. Making use of the notion of uniform strategy, a game-theoretical interpretation of IF modal logic is formulated. It is shown that under this interpretation, IF modal logic has greater...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2004
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00856495 http://tel.archives-ouvertes.fr/docs/00/85/64/95/PDF/ThesisTulenheimo.pdf |