Temporal logic : from ancient ideas to artificial intelligence

Author(s)

• Øhrstrøm, Peter
• Hasle, Per F. V.

Bibliographic Information

Temporal logic : from ancient ideas to artificial intelligence

by Peter Øhrstrøm and Per F.V. Hasle

（Studies in linguistics and philosophy, v. 57）

Kluwer Academic Publishers, c1995

Note

Bibliography: p. 386-404

Includes index

Details

• NCID: BA26042961
• ISBN:
  • 0792335864
• LCCN: 95022191
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: viii, 413 p.
• Size: 23 cm
• Classification:
  • NDC9 : 116
  • LCC : BC199.T4
  • DC20 : 160
• Subject Headings:
  • LCSH : Tense (Logic)
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Time
• Parent Bibliography ID:
  • BA00047245