Dialogique temporelle et hybridation
Philosophia Scientiae, Logique & théorie des jeux, Tome 8 (2004) no. 2, pp. 17-38

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/}
}
TY  - JOUR
AU  - Damien, Laure
AU  - Gorisse, Marie-Hélène
AU  - Rahman, Shahid
TI  - Dialogique temporelle et hybridation
JO  - Philosophia Scientiae
PY  - 2004
SP  - 17
EP  - 38
VL  - 8
IS  - 2
PB  - Éditions Kimé
UR  - http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_17_0/
LA  - fr
ID  - PHSC_2004__8_2_17_0
ER  - 
%0 Journal Article
%A Damien, Laure
%A Gorisse, Marie-Hélène
%A Rahman, Shahid
%T Dialogique temporelle et hybridation
%J Philosophia Scientiae
%D 2004
%P 17-38
%V 8
%N 2
%I Éditions Kimé
%U http://geodesic.mathdoc.fr/item/PHSC_2004__8_2_17_0/
%G fr
%F 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/