Data Storage Interpretation of Labeled Modal Logic.
Sergei N. ArtëmovVladimir KrupskiPublished in: Ann. Pure Appl. Log. (1996)
Keyphrases
- data storage
- modal logic
- data management
- temporal logic
- database management systems
- inference rules
- relational database systems
- storage media
- epistemic logic
- b tree
- nonmonotonic logics
- classical logic
- conditional logic
- training data
- situation calculus
- prime implicates
- aggregated data
- description logic alc
- data integrity
- training set
- storage devices
- sensitive data
- modal operators
- database design
- management system
- multi agent