Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 25 (1):45 - 100 (1996)
The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most importantly, with respect to (iii) the presence in T1 of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of T1
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Slavian Radev (1987). Infinitary Propositional Normal Modal Logic. Studia Logica 46 (4):291 - 309.
Jaroslav Peregrin (2008). What is the Logic of Inference? Studia Logica 88 (2):263 - 294.
Lennart Åqvist (1979). A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic. Journal of Philosophical Logic 8 (1):1 - 45.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
Tomasz Jarmużek & Andrzej Pietruszczak (2009). The Tense Logic for Master Argument in Prior's Reconstruction. Studia Logica 92 (1):85 - 108.
Alberto Zanardo (1990). Axiomatization of 'Peircean' Branching-Time Logic. Studia Logica 49 (2):183 - 195.
Kosta Došen (1985). Sequent-Systems for Modal Logic. Journal of Symbolic Logic 50 (1):149-168.
Mark Reynolds (1992). An Axiomatization for Until and Since Over the Reals Without the IRR Rule. Studia Logica 51 (2):165 - 193.
Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. Journal of Philosophical Logic 28 (4):329-369.
Added to index2009-01-28
Total downloads24 ( #78,381 of 1,139,892 )
Recent downloads (6 months)15 ( #13,546 of 1,139,892 )
How can I increase my downloads?