Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
Journal of Philosophical Logic 25 (1):45 - 100 (1996)
| Abstract | The paper deals with the problem of axiomatizing a system 1 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). 1 is like the Segerberg-Sundholm system W1 in working with so-called infinitary inference rules; on the other hand, it differs from W1 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 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 1. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSlavian 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--47.
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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,171 of 548,977 )Recent downloads (6 months)1 ( #63,511 of 548,977 )How can I increase my downloads? |
My notes
Discussion
