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.
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Artigo |
| Langue: | Francês |
| Publié: |
Université de Lorraine
2004
|
| Accès en ligne: | https://doi.org/10.4000/philosophiascientiae.559 https://hdl.handle.net/20.500.13089/j17i https://journals.openedition.org/philosophiascientiae/559 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
