References
van Benthem J., ‘Tense Logic and Standard Logic’, in Tense Logic, (eds. L. Åqvist and F. Guenthner), Nauwelaerts, Louvain, 1978, pp. 41–83.
Boolos, G. and Jeffrey, R., Computability and Logic, Cambridge University Press, 1974.
Fine K., ‘Propositional Quantifiers in Modal Logic’, Theoria 36, (1971). 336–346.
Garson, J., ‘The Logics of Space and Time’, Section 3, doctoral dissertation, University of Pittsburgh, 1969.
Garson J., ‘Indefinite Topological Logic’, Journal of Philosophical Logic 2, (1973), 102–118.
Garson, J., ‘Metaphors and Modality’, (xerox).
Garson, J., ‘The Substitution Interpretation and the Expressive Power of Intensional Logics,’ forthcoming in the Notre Dame Journal of Formal Logic, (1979).
Kamp, H., ‘Two Related theorems by D. Scott and S. Kripke’, mimeograph.
Schoenfield, J. R., Mathematical Logic, Addison-Wesley, 1967.
Author information
Authors and Affiliations
Additional information
I am deeply indebted to a referee of a previous version of this paper for pointing out how to strengthen my results for TP. In the first version, I showed how to translate TP into second order arithmetic. The referee pointed out that by using the same methods, I could perform the translation into second order logic, thus fixing the degree of unsolvability of TP much higher.
Rights and permissions
About this article
Cite this article
Garson, J.W. The unaxiomatizability of a quantified intensional logic. J Philos Logic 9, 59–72 (1980). https://doi.org/10.1007/BF00258077
Issue Date:
DOI: https://doi.org/10.1007/BF00258077