Linguistics, Logic and Finite Trees
| Abstract | Article | |||||||||
| 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,705 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesGiovanna Corst (1986). Semantic Trees for Dummett's Logic LC. Studia Logica 45 (2):199 - 206.
Giovanna Corsi (1986). Semantic Trees for Dummett's Logic LC. Studia Logica 45 (2):199-206.
Miodrag Kapetanović & Aleksandar Krapež (1987). More on Trees and Finite Satisfiability: The Taming of Terms. Notre Dame Journal of Formal Logic 28 (3):392-394.
George Boolos (1984). Trees and Finite Satisfiability: Proof of a Conjecture of Burgess. Notre Dame Journal of Formal Logic 25 (3):193-197.
Greg Restall (2005). Logic: An Introduction. Routledge.
Herman Dishkant (1986). About Finite Predicate Logic. Studia Logica 45 (4):405 - 414.
Steffen Lempp, Charles McCoy, Russell Miller & Reed Solomon (2005). Computable Categoricity of Trees of Finite Height. Journal of Symbolic Logic 70 (1):151 - 215.
Dmitrij Skvortsov (2004). On Intermediate Predicate Logics of Some Finite Kripke Frames, I. Levelwise Uniform Trees. Studia Logica 77 (3):295 - 323.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Rolf Backofen, James Rogers & K. Vijay-Shanker (1995). A First-Order Axiomatization of the Theory of Finite Trees. Journal of Logic, Language and Information 4 (1):5-39.
Analytics
Monthly downloads |
Added to index2010-07-26Total downloads5 ( #160,483 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
