Dialogique temporelle et hybridation

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Philosophia scientiae 2004, Vol.8 (2), p.17-38
Hauptverfasser: Damien, Laure, Gorisse, Marie-Hélène, Rahman, Shahid
Format: Artikel
Sprache:fre
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1281-2463
1775-4283
DOI:10.4000/philosophiascientiae.559