Normal Forms and Proofs in Combined Modal and Temporal Logics.
Ullrich HustadtClare DixonRenate A. SchmidtMichael FisherPublished in: FroCoS (2000)
Keyphrases
- temporal logic
- modal logic
- normal form
- prime implicates
- description logic alc
- model checking
- sequent calculus
- transition systems
- database design
- inference rules
- mazurkiewicz traces
- relational databases
- nested relations
- database theory
- concurrent systems
- functional dependencies
- satisfiability problem
- formal definitions
- relational algebra
- nonmonotonic logics
- theorem prover
- predicate logic
- cut elimination
- situation calculus
- information content
- relational database theory
- belief revision
- modal operators
- data model
- database systems