A natural semantics for modal logic over databases (Q1102937): Difference between revisions

Two interpretations of modal logic with nonmonotone, semantically defined consequence operations are given based on model theoretic forcing. A natural interpretation for the theory of database updates is also presented. Local and global versions of forcing consequences are both covered applying Robinson's and Kripke's techniques.