Theory of models with generalized atomic formulas
Journal of Symbolic Logic 25 (1):1-26 (1960)
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKrister Segerberg (1982). A Deontic Logic of Action. Studia Logica 41 (2-3):269 - 282.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Roberto Magari (1976). On the Autological Character of Diagonalizable Algebras. Studia Logica 35 (4):327 - 333.
Steven Buechler & Colleen Hoover (2001). The Classification of Small Types of Rank Ω, Part I. Journal of Symbolic Logic 66 (4):1884-1898.
Barbara F. Csima (2004). Degree Spectra of Prime Models. Journal of Symbolic Logic 69 (2):430 - 442.
M. C. Laskowski & S. Shelah (1993). On the Existence of Atomic Models. Journal of Symbolic Logic 58 (4):1189-1194.
Giorgie Dzhaparidze (1990). Decidable and Enumerable Predicate Logics of Provability. Studia Logica 49 (1):7 - 21.
Johan van Benthem (2005). Guards, Bounds, and Generalized Semantics. Journal of Logic, Language and Information 14 (3).
Stål O. Aanderaa, Egon Börger & Harry R. Lewis (1982). Conservative Reduction Classes of Krom Formulas. Journal of Symbolic Logic 47 (1):110-130.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,008 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
