The finite model property and recursive Bounds on the size of countermodels
Journal of Philosophical Logic 12 (4):477 - 480 (1983)
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesC. J. Van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213 - 222.
C. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
Stephan Wehner (1999). On Recursive Enumerability with Finite Repetitions. Journal of Symbolic Logic 64 (3):927-945.
Jörg Flum & Martin Ziegler (1999). Pseudo-Finite Homogeneïty and Saturation. Journal of Symbolic Logic 64 (4):1689-1699.
Stanley Burris (1984). Model Companions for Finitely Generated Universal Horn Classes. Journal of Symbolic Logic 49 (1):68-74.
Robert K. Meyer & Hiroakira Ono (1994). The Finite Model Property for BCK and BCIW. Studia Logica 53 (1):107 - 118.
Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi (1997). On the Decision Problem for Two-Variable First-Order Logic. Bulletin of Symbolic Logic 3 (1):53-69.
Mitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Ralph McKenzie (2000). Recursive Inseparability for Residual Bounds of Finite Algebras. Journal of Symbolic Logic 65 (4):1863-1880.
Marcus Kracht (1993). Splittings and the Finite Model Property. Journal of Symbolic Logic 58 (1):139-157.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
