Dialogique temporelle et hybridation
pp. 17-38
Résumé
L’objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard. Dans ce cadre, nous utiliserons les langages hybrides dont Patrick Blackburn s’est servi pour caractériser la logique modale comme logique dialogique.
Détails de la publication
Publié dans:
Rebuschi Manuel, Tulenheimo Tero (2004) Logique & théorie des jeux. Philosophia Scientiae 8 (2).
Pages: 17-38
DOI: 10.4000/philosophiascientiae.559
Citation complète:
Damien Laure, Gorisse Marie-Hélène, Rahman Shahid, 2004, Dialogique temporelle et hybridation. Philosophia Scientiae 8 (2), Logique & théorie des jeux, 17-38. https://doi.org/10.4000/philosophiascientiae.559.