A natural semantics for modal logic over databases (Q1102937)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A natural semantics for modal logic over databases |
scientific article |
Statements
A natural semantics for modal logic over databases (English)
0 references
1988
0 references
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.
0 references
closed-world assumption
0 references
nonmonotonic logic
0 references
logic database
0 references
nonmonotone consequence operations
0 references
model theoretic forcing
0 references
theory of database updates
0 references
