An interpretation of "finite" modal first-order languages in classical second-order languages
Journal of Symbolic Logic 41 (2):337-340 (1976)
| 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 articlesWiebe Van Der Hoek & Maarten De Rijke (1993). Generalized Quantifiers and Modal Logic. Journal of Logic, Language and Information 2 (1).
William Craig (1965). Satisfaction for N-Th Order Languages Defined in N-Th Order Languages. Journal of Symbolic Logic 30 (1):13-25.
Susann Fischer (2010). Word-Order Change as a Source of Grammaticalisation. John Benjamins Pub. Company.
Peter Zahn (2006). A Normative Model of Classical Reasoning in Higher Order Languages. Synthese 148 (2):309 - 343.
Johan van Benthem (2007). A New Modal Lindström Theorem. Logica Universalis 1 (1).
John L. Bell, Infinitary Logic. Stanford Encyclopedia of Philosophy.
Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. Journal of Logic, Language and Information 4 (3):251-272.
Minghui Ma (2010). Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China 5 (2):294-311.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,628 of 549,198 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
