Fine Grained Theories of Time - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2001

Fine Grained Theories of Time


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).
Not file

Dates and versions

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


  • HAL Id : inria-00100595 , version 1


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 View
0 Download


Gmail Facebook Twitter LinkedIn More