Keyphrases
- linear temporal logic
- bounded model checking
- linear time temporal logic
- temporal logic
- model checking
- natural deduction
- logic programming
- modal logic
- classical logic
- logical framework
- databases
- transition systems
- proof theory
- multi valued
- formal verification
- predicate logic
- automated reasoning
- knowledge representation
- case study
- artificial intelligence
- neural network
- database
- deterministic automata
- sound and complete axiomatization