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: | Tulenheimo, Tero |
---|---|
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 |
Similar Items
-
Contributions à la théorie des modèles positive.
by: Belkasmi, Mohammed
Published: (2012) -
Modèle mathématique d'optimisation non-linéaire du bruit des avions commerciaux en approche sous contrainte énergétique
by: Nahayo, Fulgence
Published: (2012) -
Groupes simples connexes minimaux de type impair
by: Deloro, Adrien
Published: (2007) -
Principe de réflexion MRP, propriétés d'arbres et grands cardinaux
by: Strullu, Rémi
Published: (2012) -
Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité
by: Blanqui, Frédéric
Published: (2012)