Temporal Logic
From Ancient Ideas to Artificial Intelligence
Bibliographic Data
| ID | 18932769 |
|---|---|
| Authors | Peter Øhrstrøm (0000-0001-9432-7618, corresponding author), Per Hasle (0000-0002-2622-2547), F V Per Hasle |
| Year | 1995 |
| Publication date | 1995-01-01 |
| Open Access | Yes |
| Type | BOOK |
| Venue | Temporal Logic (SOURCE_BOOK) |
| Publisher | Springer Netherlands (PUBLISHER • NL) |
| DOI | 10.1007/978-0-585-37463-5 |
| OpenAlex | W4241191671 |
| Open Library | OL22177793M |
| ISBN | 9780585374635 |
| Language | EN |
| Citations received | 11 |
Cognitive science · Temporal logic · Computer Science · Logic, Reasoning, and Knowledge · Psychology · Logic, symbolic and mathematical · Lògica matemàtica · Symbolic and mathematical Logic · Temps · Tense (Logic) · Time · Artificial Intelligence · Theoretical Computer Science
Future Actuality and Truth Ascriptions
Mathematization and Vergessenmachen in the Historiography of Logic
Arthur N. Prior and the Lvov-Warsaw School
Newtonian determinism to branching space-times indeterminism in two moves
Moment/History Duality in Prior’s Logics of Branching-Time
Arthur Prior and Hybrid Logic
Where have all the Californian tense-logicians gone
The RealIty of Tense
Reichenbach, Prior and hybrid tense logic
Indeterminism is a modal notion
A critical discussion of Prior’s philosophical and tense-logical analysis of the ideas of indeterminism and human freedom
| Unique citing works | 11 |
|---|---|
| Citations per year | 0.55 |
| Citation span | 2006 - 2025 (20) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 11 |