Tense and temporal reference hybrid temporal logic

  1. Ponte, M.
  2. Vázquez, M.
Journal:
Logique et Analyse

ISSN: 0024-5836

Year of publication: 2012

Volume: 55

Issue: 220

Pages: 555-578

Type: Article