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:
Veröffentlicht in: | Philosophia scientiae 2004, Vol.8 (2), p.17-38 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | fre |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
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 |