Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00857700v1 Chapitre d'ouvrage Tero Tulenheimo. Modal Logic of Time Division Advances in Modal Logic vol. 7, College Publications, pp.363-387, 2008
	hal-01249655v1 Chapitre d'ouvrage 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-01249656v1 Chapitre d'ouvrage Tero Tulenheimo. On IF Modal Logic and its Expressive Power King's College London Publications. Advances in Modal Logic vol. 4, pp.475-498, 2003
	tel-00856495v1 Thèse Tero Tulenheimo. Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance. Philosophy. Université de Helsinki, 2004. English
	halshs-00556238v1 Article dans une revue Tero Tulenheimo, Manuel Rebuschi. Equivalence Criteria for Compositional IF Modal Logics Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 231, pp.153-173. <10.1016/j.entcs.2009.02.034>
	hal-01249643v1 Article dans une revue Tero Tulenheimo. Hybrid Logic Meets IF Modal Logic Journal of Logic, Language and Information, Springer Verlag, 2009, 18 (4), pp.559-591
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM