Temporal logic. From ancient ideas to artificial intelligence

zbMath0855.03003MaRDI QIDQ1918904

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

Publication date: 21 July 1996

Published in: Studies in Linguistics and Philosophy (Search for Journal in Brave)

zbMATH Keywords

determinismhistorytruthspecial relativitytemporal logiccounterfactualbranching timetimenecessityPriortensesemantics of natural languagehuman freedomPeirce's paradoxphilosophy and mathematics of time

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)

Related Items (30)

Time and determinism ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Axiomatization of a branching time logic with indistinguishability relations ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Arthur Prior and hybrid logic ⋮ Moment/history duality in Prior's logics of branching-time ⋮ Indeterminism is a modal notion: branching spacetimes and Earman's pruning ⋮ Newtonian determinism to branching space-times indeterminism in two moves ⋮ The problem of predestination: as a prelude to A. N. Prior's tense logic ⋮ Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters ⋮ Time and knowledge. Some reflections on Prior's analysis of the paradox of the prisoner ⋮ A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Completeness of a branching-time logic with possible choices ⋮ In What Sense is J.N. Findlay the Founding Father of Tense-logic? ⋮ Tomorrow’s Sea-Battle and the Beginning of Temporal Logic ⋮ A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom ⋮ The truth about the future ⋮ On topological issues of indeterminism ⋮ Prior's paradigm for the study of time and its methodological motivation ⋮ Reichenbach, Prior and hybrid tense logic ⋮ Where have all the Californian tense-logicians gone? ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ From Philosophical to Industrial Logics ⋮ Branching time, perfect information games, and backward induction ⋮ From Monadic Logic to PSL ⋮ Prior's Grappling with Peirce's Existential Graphs ⋮ Jerzy Łoś Positional Calculus and the Origin of Temporal Logic ⋮ Possibilities without possible worlds/histories ⋮ The mereotopology of time

This page was built for publication: Temporal logic. From ancient ideas to artificial intelligence