Advertisement

Databases and Higher Types

  • Melvin Fitting
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1861)

Abstract

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.

Keywords

Modal Logic Atomic Formula High Type Modal Setting Modal Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    M. C. Fitting. Modality and databases. Forthcoming, LNCS, Tableaux 2000, 2000.Google Scholar
  3. 3.
    M. C. Fitting. Types, Tableaus, and Gödel’s God. 2000. Available on my web site: http://comet.lehman.cuny.edu/fitting.
  4. 4.
    M. C. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Paperback, 1999.Google Scholar
  5. 5.
    D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland, 1975.Google Scholar
  6. 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. [1], pages 403–404.Google Scholar
  7. 7.
    S. Kripke. Naming and Necessity. Harvard University Press, 1980.Google Scholar
  8. 8.
    R. Montague. On the nature of certain philosophical entities. The Monist, 53:159–194, 1960. Reprinted in [11], 148–187.Google Scholar
  9. 9.
    R. Montague. Pragmatics. pages 102–122. 1968. In Contemporary Philosophy: A Survey, R. Klibansky editor, Florence, La Nuova Italia Editrice, 1968. Reprinted in [11], 95–118.Google Scholar
  10. 10.
    R. Montague. Pragmatics and intensional logic. Synthése, 22:68–94, 1970. Reprinted in [11], 119–147.zbMATHCrossRefGoogle Scholar
  11. 11.
    R. H. Thomason, editor. Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, New Haven and London, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Melvin Fitting
    • 1
  1. 1.Dept. Mathematics and Computer ScienceLehman College (CUNY)Bronx

Personalised recommendations