Conjunctive normal forms and weak modal logics without the axiom of necessity.
Shigeo OhamaPublished in: Notre Dame J. Formal Log. (1984)
Keyphrases
- modal logic
- normal form
- prime implicates
- temporal logic
- inference rules
- database design
- decision procedures
- relational databases
- functional dependencies
- epistemic logic
- database theory
- relational algebra
- nested relations
- nonmonotonic logics
- formal definitions
- situation calculus
- default logic
- information content
- set of functional dependencies
- database
- relational database theory
- kripke models
- data dependencies
- complex objects
- case study