On 2nd order calculi of individuals
View/ Open
Date
2009Author
Niebergall, Karl-Georg
Metadata
Show full item record
Theoria 24(2) : 169-202 (2009)
Abstract
From early work of N. Goodman to recent approaches by H. Field and D. Lewis, there have been attempts to combine 2nd order languages with calculi of individuals. This paper is a contribution, containing basic definitions and distinctions and some metatheorems, to the development of a general metatheory of such theories.