Databases and Higher Types
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be developed for such databases, based on a higher type modal/intensional logic.
KeywordsModal Logic Atomic Formula High Type Modal Setting Modal Language
Unable to display preview. Download preview PDF.
- 1.S. Feferman, J. John W. Dawson, W. Goldfarb, C. Parsons, and R. N. Solovay, editors. Kurt Gödel Collected Works, Volume III, Unpublished Essays and Lectures. Oxford University Press, New York, 1995.Google Scholar
- 2.M. C. Fitting. Modality and databases. Forthcoming, LNCS, Tableaux 2000, 2000.Google Scholar
- 3.M. C. Fitting. Types, Tableaus, and Gödel’s God. 2000. Available on my web site: http://comet.lehman.cuny.edu/fitting.
- 4.M. C. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Paperback, 1999.Google Scholar
- 5.D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland, 1975.Google Scholar
- 6.K. Gödel. Ontological proof. In J. John W. Dawson, W. Goldfarb, C. Parsons, and R. N. Solovay, editors. Kurt Gödel Collected Works, Volume III, Unpublished Essays and Lectures. Oxford University Press, New York, 1995. Feferman et al. , pages 403–404.Google Scholar
- 7.S. Kripke. Naming and Necessity. Harvard University Press, 1980.Google Scholar
- 8.R. Montague. On the nature of certain philosophical entities. The Monist, 53:159–194, 1960. Reprinted in , 148–187.Google Scholar
- 9.R. Montague. Pragmatics. pages 102–122. 1968. In Contemporary Philosophy: A Survey, R. Klibansky editor, Florence, La Nuova Italia Editrice, 1968. Reprinted in , 95–118.Google Scholar
- 11.R. H. Thomason, editor. Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, New Haven and London, 1974.Google Scholar