Book Chapter10.1007/978-94-017-0462-5_3
Combinations of Tense and Modality
Richmond H. Thomason
- 01 Jan 2002
- pp 205-234
296
TL;DR: The case in which all functions from times to world-states are allowed is uninteresting; there are too many such functions, and the theory has not begun until we have begun to restrict them.
read more
Abstract: Physics should have helped us to realise that a temporal theory of a phenomenon X is, in general, more than a simple combination of two components: the statics of X and the ordered set of temporal instants. The case in which all functions from times to world-states are allowed is uninteresting; there are too many such functions, and the theory has not begun until we have begun to restrict them. And often the principles that emerge from the interaction of time with the phenomena seem new and surprising. The most dramatic example of this, perhaps, is the interaction of space with time in relativistic space-time.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
ESSLLI 2010 course: Ten problems of deontic logic and normative reasoning in computer science
Jan Broersen,Leendert van der Torre +1 more
- 01 Jan 2010
TL;DR: In this paper, the ESSLLI course presents and discusses ten problems of deontic logic and normative reasoning in computer science, including how to formally represent norms, how sets of norms may be revised and merged, how contrary-to-duty obligations can be appropriately modeled, how various concepts of permission can be accommodated, and how meaning pos- tulates and counts-as conditionals can be taken into account.
13
•Proceedings Article
Segmenting Temporal Intervals for Tense and Aspect
Tim Fernando
- 01 Aug 2013
TL;DR: In this paper, the authors segmented interval temporal logic formulas into strings which serve as semantic representations for tense and aspect, suitable for analyzing (im)perfectivity, durativity, telicity, and various relations including branching.
Old Foundations for the Logic of Agency and Action
TL;DR: An infinite hierarchy of sound and complete axiomatic systems for Two-Dimensional Modal Tense Logic with Historical Necessity, Agents and Acts is presented and it is illustrated how the formal machinery of these systems can be used to reconstruct a number of interesting ideas in the Logic of Agency and Action.
11
From Message Exchanges to Communicative Acts to Commitments
TL;DR: In this paper, the authors provide an alternative model of agent communication to the one proposed by the Foundation for Intelligent Physical Agents (FIPA) by shifting the focus from agents' mental states to their social state.
11
An NP-complete fragment of fibring logic
TL;DR: The reduction method presented in this article can be generalized to settle the computational complexity problem of other fibring logics, and they help to achieve a balance between the expressive power and the difficulty of computation.
11
References
Scorekeeping in a Language Game
TL;DR: It’s not as easy as you might think to say something that will be unacceptable for lack of required presuppositions, and straightway that presupposition springs into existence, making what you said acceptable after all.
2.2K
A Theory of Conditionals
Robert Stalnaker
- 01 Jan 1968
TL;DR: A conditional sentence expresses a proposition which is a function of two other propositions, yet not one which is truth function of those propositions as mentioned in this paper, which has given rise to a number of philosophical problems.
1.9K
The Many-worlds interpretation of quantum mechanics
Bryce S. DeWitt,Neill Graham +1 more
- 31 Jan 2015
TL;DR: This volume contains Dr. Everett's short paper from 1957, "'Relative State' Formulation of Quantum Mechanics," and a far longer exposition of his interpretation, entitled "The Theory of the Universal Wave Function," never before published.
1.4K
Counterfactual Dependence and Time’s Arrow
TL;DR: In fact, it is at best doubtful whether the past depends counterfactually on the present, whether the present depends on the future, and in general whether the way things are earlier depends on how things will be later.
What ‘must’ and ‘can’ must and can mean
TL;DR: This paper argues for a relative concept of modality underlying modal words like ‘must’ and ‘can’ in natural language and gives preliminary definitions of the meaning of these words which are formulated in terms of logical consequence and compatibility, respectively.
1K
Related Papers (5)
Nuel D. Belnap,Michael Perloff +1 more
Nuel D. Belnap,Mitchell S. Green +1 more
Angelika Kratzer
- 28 Jan 2008