scientific article; zbMATH DE number 1444731

MaRDI QIDQ4952311zbMATH OpenFDO

Authors Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm

Publication date 8 October 2000

zbMATH Keywords

determinism versus free willMaster ArgumentPriorsymbolic temporal logic

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Recommendations

• Temporal logic. From ancient ideas to artificial intelligence
• A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later
• Tomorrow’s Sea-Battle and the Beginning of Temporal Logic
• The problem of predestination: as a prelude to A. N. Prior's tense logic
• scientific article; zbMATH DE number 1749195

Cited in

(12)

• Determinism, indeterminism and the flow of time
• Temporal logic. From ancient ideas to artificial intelligence
• A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom
• On the origin of logical determinism in Babylonia
• Ockhamism without thin red lines
• Time and determinism
• A future for the thin red line
• 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
• Determinism and Modality
• The truth about the future
• Extensions of V. A. Smirnov's temporal logic systems in the context of determinism

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952311)