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

tense logictemporal logicA. N. PriorA- and B-conceptsdynamic and static time

Mathematics Subject Classification ID

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

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

(19)

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

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)