Article Dans Une Revue
Journal of Applied Non-Classical Logics
Année : 2017
Martin Dieguez : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01892941
Soumis le : mercredi 10 octobre 2018-19:46:48
Dernière modification le : mardi 16 avril 2024-03:10:16
Dates et versions
Identifiants
- HAL Id : hal-01892941 , version 1
Citer
Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Pérez, Concepción Vidal. Temporal Equilibrium Logic with past operators. Journal of Applied Non-Classical Logics, 2017. ⟨hal-01892941⟩
Collections
217
Consultations
0
Téléchargements