Tense Logic and the Theory of Linear Order
Dissertation, Ucla (1968)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,679 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesMark Reynolds (1996). Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time. Studia Logica 57 (2-3):279 - 302.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Michael Benedikt & H. Jerome Keisler (2003). Definability with a Predicate for a Semi-Linear Set. Journal of Symbolic Logic 68 (1):319-351.
Hiroakira Ono & Akira Nakamura (1980). On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics. Studia Logica 39 (4):325 - 333.
Hirokazu Nishimura (1981). Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy. Studia Logica 40 (2):89 - 98.
Yves Lafont (1996). The Undecidability of Second Order Linear Logic Without Exponentials. Journal of Symbolic Logic 61 (2):541-548.
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.
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-05-13Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
