Report on Tense Logic

1981 ◽  
pp. 425-438
Author(s):  
Bas C. Van Fraassen
Keyword(s):  
Tense Logic

Reduction of tense logic to modal logic II

Theoria ◽  
2008 ◽  
Vol 41 (3) ◽  
pp. 154-169 ◽  
Author(s):  
S. K. THOMASON
Keyword(s):  
Modal Logic ◽  
Tense Logic

Reichenbach, Prior and hybrid tense logic

Synthese ◽  
2015 ◽  
Vol 193 (11) ◽  
pp. 3677-3689 ◽  
Author(s):  
Patrick Blackburn ◽  
Klaus Frovin Jørgensen
Keyword(s):  
Tense Logic

The System Kt of Minimal Tense Logic

1971 ◽  
pp. 55-67
Author(s):  
Nicholas Rescher ◽  
Alasdair Urquhart
Keyword(s):  
Tense Logic

Partial and paraconsistent approaches to future contingents in tense logic

Synthese ◽  
2015 ◽  
Vol 193 (11) ◽  
pp. 3639-3649
Author(s):  
Seiki Akama ◽  
Tetsuya Murai ◽  
Yasuo Kudo
Keyword(s):  
Tense Logic ◽  
Future Contingents

scholarly journals Arthur Prior A ‘Young Progressive’ Letters to Ursula Bethell and to Hugh Teague 1936-1941.

2020 ◽  
Author(s):  
Peter Whiteford
Keyword(s):  
New Zealand ◽  
Temporal Logic ◽  
20Th Century ◽  
John Locke ◽  
Small Town ◽  
Young Age ◽  
Tense Logic ◽  
Arthur Prior ◽  
The World ◽  
Rural Township

Arthur Prior is scarcely a household name in New Zealand, but in some respects his story repeats a narrative we like to think of as quintessentially Kiwi—that of the small town boy who ‘makes it’ on the world stage. Born and raised in the rural township of Masterton in 1914, Prior became a leading philosopher of the 20th century, feted for his invention of tense logic (or temporal logic as it is now called), invited by no less a figure than Gilbert Ryle to deliver the prestigious John Locke lectures in Oxford in 1956, offered a Chair in Philosophy at Manchester in 1958, then a Fellowship at Balliol College, Oxford, in 1966. Tragically, he died at the relatively young age of 54, but he remains one of the central figures in the development of logic in the 20th century.

scholarly journals On the Decidability of Intuitionistic Tense Logic without Disjunction

2020 ◽  
Author(s):  
Fei Liang ◽  
Zhe Lin
Keyword(s):  
Proof Theory ◽  
Tense Logic ◽  
Heyting Algebras ◽  
Finite Model ◽  
Algebraic Proof ◽  
Model Property ◽  
Algebraic Models ◽  
Finite Axiomatizability ◽  
Finite Model Property ◽  
Modal Operators

Implicative semi-lattices (also known as Brouwerian semi-lattices) are a generalization of Heyting algebras, and have been already well studied both from a logical and an algebraic perspective. In this paper, we consider the variety ISt of the expansions of implicative semi-lattices with tense modal operators, which are algebraic models of the disjunction-free fragment of intuitionistic tense logic. Using methods from algebraic proof theory, we show that the logic of tense implicative semi-lattices has the finite model property. Combining with the finite axiomatizability of the logic, it follows that the logic is decidable.

Tense, Indexicality, and Consequence

2006 ◽  
Author(s):  
James Higginbotham
Keyword(s):  
Natural Language ◽  
Logical Consequence ◽  
Tense Logic ◽  
General Question ◽  
Temporal Relations ◽  
Truth Conditions ◽  
Contextual Elements ◽  
Antecedent Clause ◽  
Cross Reference ◽  
Indexical Language

This chapter outlines the problem of framing a theory of the temporal indicators of natural language in all their complexity and, in particular, of understanding the interaction of linguistic and contextual elements. It describes how the phenomenon of sequence of tense shows that tense logic is too limited, since it excludes the cross-reference typical of bound variables; it suggests instead that the tenses express temporal relations between events conceived as in Davidson. The particular discussion leads to the general question of the form of truth conditions for sentences in an indexical language. The discussion advocates conditional truth conditions, in which an antecedent clause spells out the import of the indexical elements. It goes on to describe two notions of a model for a language with such truth conditions, the notions varying as to whether the satisfaction of such antecedents is incorporated, and thus diverging in their conceptions of logical consequence.

Sign in / Sign up

Export Citation Format

Share Document