Chapitre D'ouvrage
Année : 2005
Tero Tulenheimo : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01249655
Soumis le : samedi 2 janvier 2016-14:04:26
Dernière modification le : jeudi 18 avril 2024-16:14:36
Dates et versions
Identifiants
- HAL Id : hal-01249655 , version 1
Citer
Tapani Hyttinen, Tero Tulenheimo. Decidability of IF Modal Logic of Perfect Recall. College Publications. Advances in Modal Logic vol. 5, pp.111-131, 2005. ⟨hal-01249655⟩
86
Consultations
0
Téléchargements