Databases and higher types

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 41-52

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; SEMANTICS;

DATABASE SYSTEMS;

EID: 84867820964     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_3     Document Type: Conference Paper

References (11)

1. S. Feferman,J. John W. Dawson,W. Goldfarb,C. Parsons,R. N. Solovay, editors Kurt Gödel CollectedWorks Volume III, Unpublished Essays and Lectures. Oxford University Press, New York 1995.
2. M. C. Fitting. Modality and databases. Forthcoming, LNCS, Tableaux 2000, 2000.
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. Paper-back, 1999.
5. D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland, 1975.
6. K. Gödel. Ontological proof. In Feferman et al. [1], pages 403-404.
7. S. Kripke. Naming and Necessity. Harvard University Press, 1980.
8. R. Montague. On the nature of certain philosophical entities. The Monist, 53:159-194, 1960. Reprinted in [11], 148-187.
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.
10. R. Montague. Pragmatics and intensional logic. Synth-ese, 22:68-94, 1970. Reprinted in [11], 119-147.
11. R. H. Thomason, editor. Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, New Haven and London, 1974.