Temporal Equilibrium Logic with past operators

  1. Aguado, F.
  2. Cabalar, P.
  3. Diéguez, M.
  4. Pérez, G.
  5. Vidal, C.
Revista:
Journal of Applied Non-Classical Logics

ISSN: 1958-5780 1166-3081

Año de publicación: 2017

Volumen: 27

Número: 3-4

Páginas: 161-177

Tipo: Artículo

DOI: 10.1080/11663081.2018.1427987 GOOGLE SCHOLAR