Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts

DOI10.1007/978-3-642-01815-2_6MaRDI QIDQ3630236zbMATH OpenOpenAlexFDO

Authors Peter Øhrstrøm

Publication date 3 June 2009

Published in Formal Concept Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-01815-2_6

zbMATH Keywords

A- and B-conceptsA. N. Priordynamic and static timetemporal logictense logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Prior on the logic and the metaphysics of time
• Temporal logic. From ancient ideas to artificial intelligence
• scientific article; zbMATH DE number 1749195
• Conceptual Structures at Work
• Prior and rennie on times and tenses

Cited in

(21)

• The tense logic for Master Argument in Prior's reconstruction
• The interpretation of branching time diagrams
• A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom
• To be something and something else: Dialetheic tense logic
• Reflections on temporal and modal logic
• From a logical angle. Some studies in A. N. Prior's ideas on time, discourse and metaphysics
• Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
• scientific article; zbMATH DE number 1222482 (Why is no real title available?)
• scientific article; zbMATH DE number 1222486 (Why is no real title available?)
• scientific article; zbMATH DE number 1855600 (Why is no real title available?)
• A note on the logic of \textit{una tantum} truth
• Tense and temporal reference hybrid temporal logic
• Prior's paradigm for the study of time and its methodological motivation
• Prior and temporal sequences for natural language
• Worlds, times and selves revisited
• Conceptual Structures at Work
• Outside time, outside worlds
• Prior on the logic and the metaphysics of time
• Time dimension, objects, and life tracks. A conceptual analysis
• Preface
• The formalities of temporaryism without presentness

This page was built for publication: Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts

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