Modern temporal logic: The philosophical background
Bibliography (99)
Hamilton's view of algebra as the science of pure time and his revision of this view
Historia Mathematica
(1985)- et al.
A common-sense theory of time
- et al.
Moments and points in an interval-based temporal logic
Computer Intelligence
(1989) - et al.
Indeterminism and the thin red line
- et al.
Seeing to it that: A canonical form for agentives
Theoria
(1988) - et al.
Facing the Future
Branching space-time
Synthese
(1992)Agents in branching time
(1996)The Logic of Time
Extended modal logic
Studies in Logic and Probability
(1953)
Ockhamistic logics and true futures of counterfactual moments
Homophonic theory of truth for tense logic
Modal logic, truth, and the master modality
Journal of Philosophical Logic
(2002)
Decidability for branching time
Studia Logica
(1980)
Basic tense logic
Logic and Reality
The Problem of Divine Foreknowledge and Future Contingents from Aristotle to Suarez
E.J. Brill
(1988)
Nice soft facts: Fischer on foreknowledge
Religious Studies
(1989)
The Tensed Theory of Time
God, Time and Eternity
(2001)
Relativity and the ‘elimination’ of absolute time
(2002)
Formal Interpretations
The reality of tense
(2005)
The Metaphysics of Free Will
(1994)
Temporal logic
Temporal logic
Diodorean modality in Minkowski spacetime
Studia Logica
(1980)
Instants and intervals
(1972)
Foundations of temporal logic the WWW-site for Prior-studies
Active agents
Journal of Logic, Language and Information
(2003)
Forcing Epistemology
(2003)
New Studies in Deontic Logic, Norms, Actions, and Foundations of Ethics
The deliberative stit: A study of action, omission, ability, and obligation
Journal of Philosophical Logic
(1995)
Agency and Deontic Logic
(2001)
On Tense Logic and the Theory of Order
The Logic of Reliably Inquiry
(1996)
The Future
A note on time and tense
(1999)
Logic and Knowledge
Tense logic. Why bother?
NOUS
(1969)
Tense Logic
(1976)
A Model of the Universe
Space-Time, Probability, and Decision
(1994)
The unreality of time
Mind
(1908)
Real Time
(1981)
Real Time II
(1998)
Cited by (8)
Handling of Past and Future with Phenesthe+
2023, arXivHandling of Past and Future with Phenesthe+
2023, Electronic Proceedings in Theoretical Computer Science, EPTCSSystems of temporal logic: Moments, histories, trees
2021, Logical InvestigationsThe Influence of Jerzy Łoś on Early Developments in Temporal Logic: Introduction and Aim of the Paper
2020, Studies in the History of PhilosophyJerzy łoś positional calculus and the origin of temporal logic<sup>∗</sup>
2019, Logic and Logical PhilosophyHandbook of analytic philosophy of medicine, Second edition
2015, Philosophy and Medicine
Copyright © 2006 Elsevier B.V. All rights reserved.