Finite variable logic, stability and finite models
Journal of Symbolic Logic 66 (2):837-858 (2001)
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesC. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
Yde Venema (1998). Rectangular Games. Journal of Symbolic Logic 63 (4):1549-1564.
Ross Willard (1994). Hereditary Undecidability of Some Theories of Finite Structures. Journal of Symbolic Logic 59 (4):1254-1262.
Ian Hodkinson & András Simon (1997). The K-Variable Property is Stronger Than H-Dimension K. Journal of Philosophical Logic 26 (1):81-101.
Marko Djordjević (2004). On First-Order Sentences Without Finite Models. Journal of Symbolic Logic 69 (2):329 - 339.
M. Krynicki & K. Zdanowski (2005). Theories of Arithmetics in Finite Models. Journal of Symbolic Logic 70 (1):1-28.
Eric Rosen (1997). Modal Logic Over Finite Structures. Journal of Logic, Language and Information 6 (4):427-439.
Herman Dishkant (1986). About Finite Predicate Logic. Studia Logica 45 (4):405 - 414.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
