Model theoretic results for infinitely deep languages
Studia Logica 42 (2-3):223 - 241 (1983)
| Abstract | We define a subhierarchy of the infinitely deep languagesN described by Jaakko Hintikka and Veikko Rantala. We shall show that some model theoretic results well-known in the model theory of the ordinary infinitary languages can be generalized for these new languages. Among these are the downward Löwenheim-Skolem and o's theorems as well as some compactness properties. | |||||||||
| 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 |
 |
| Through your library | Configure |
Similar books and articlesAndrew Jorgensen (2008). Lewis's Synthesis. International Journal of Philosophical Studies 16 (1):77 – 84.
Greg Ray (1996). Logical Consequence: A Defense of Tarski. Journal of Philosophical Logic 25 (6):617 - 677.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Florian Cova & Hichem Naar (2012). Testing Sripada's Deep Self Model. Philosophical Psychology 25 (5):647 - 659.
Greg Ray (1996). Ontology-Free Modal Semantics. Journal of Philosophical Logic 25 (4):333 - 361.
J. P. Ressayre (1988). Formal Languages Defined by the Underlying Structure of Their Words. Journal of Symbolic Logic 53 (4):1009-1026.
Patricia A. Blanchette (2000). Models and Modality. Synthese 124 (1-2):45-72.
Juha Oikkonen (1983). Logical Operations and Iterated Infinitely Deep Languages. Studia Logica 42 (2-3):243 - 249.
Roy T. Cook (2002). Vagueness and Mathematical Precision. Mind 111 (442):225-247.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,501 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
