Temporal Equilibrium Logic with past operators

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

ISSN: 1958-5780,  1166-3081

Year of publication: 2017

Volume: 27

Issue: 3-4

Pages: 161-177

Type: Article

DOI: 10.1080/11663081.2018.1427987 GOOGLE SCHOLAR
Data source: Scopus