Voir la notice de l'article provenant de la source Numdam
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.
The aim of the paper is to offer a dialogical interpretation of standard temporal logic. This interpretation will use hybrid languages which were used by Patrick Blackburn to characterize modal logic as dialogical logic.
@article{PHSC_2004__8_2_17_0, author = {Damien, Laure and Gorisse, Marie-H\'el\`ene and Rahman, Shahid}, title = {Dialogique temporelle et hybridation}, journal = {Philosophia Scientiae}, pages = {17--38}, publisher = {\'Editions Kim\'e}, volume = {8}, number = {2}, year = {2004}, language = {fr}, url = {http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_17_0/} }
Damien, Laure; Gorisse, Marie-Hélène; Rahman, Shahid. Dialogique temporelle et hybridation. Philosophia Scientiae, Logique & théorie des jeux, Tome 8 (2004) no. 2, pp. 17-38. http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_17_0/