From modal logic to deductive databases: introduction to a logic based approach to artificial intelligence
André Thayse · John Wiley & Sons, Inc. eBooks · 1989
Knowledge representation natural and formal languages modal logic intensional logic and Montague's semantics temporal logic and specification of concurrent programs revisable reasoning theory of relational and deductive databases representation of incomplete information in databases.