QR Code

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:
Détails bibliographiques
Auteurs principaux: Damien, Laure, Gorisse, Marie-Hélène, Rahman, Shahid
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: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!