Fine Grained Theories of Time - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2001

Fine Grained Theories of Time

Résumé

This paper uses hybrid logic, a form of modal logic in which times can be named, to draw together ideas from the philosophical tradition of temporal logic (notably the ideas of Arthur Prior) and ideas from the AI community (notably, the ideas of James Allen).

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00100595 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100595 , version 1

Citer

Patrick Blackburn. Fine Grained Theories of Time. H. Wansing,. Essays on Non-Classical Logic, World Scientific Publishing, pp.1-36, 2001, Advances in Logic. ⟨inria-00100595⟩
27 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More