Modality and databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1847 LNAI, Issue , 2000, Pages 19-39

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODAL LOGIC; MULTIPLE-VALUED; POSSIBLE WORLDS; RELATIONAL DATABASE; RELATIONAL DATABASE THEORY; STANDARD VERSIONS; TABLEAU SYSTEMS;

PHILOSOPHICAL ASPECTS; SEMANTICS;

FORMAL LOGIC;

EID: 0003100413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722086_2     Document Type: Conference Paper

References (4)

1. Melvin C. Fitting. Types, Tableaus, and Gödel's God. 2000. Available on my web site: comet.lehman.cuny.edu/fitting.
2. Melvin C. Fitting and Richard Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Paperback, 1999.
3. Saul Kripke. Naming and Necessity. Harvard University Press, 1980.
4. Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988.