From Modal Logic to Deductive Databases

Advances the study of artificial intelligence concepts and applications using logic as a guideline. Examines such topics as natural and formal languages; modal logic; temporal logic and specification of concurrent programs; theory of relational and deductive databases; intensional logic and Montague's Semantics; representation of incomplete information in databases and much more.