From Modal Logic to Deductive Databases | lit.salon