From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence