Keyphrases
- transition systems
- modal logic
- sequent calculus
- inference rules
- nonmonotonic logics
- tableau calculus
- computer algebra
- algebraic structure
- proof procedure
- relational calculus
- real time
- temporal logic
- expert systems
- website
- automated deduction
- knowledge base
- information systems
- concurrent systems
- artificial intelligence
- timed automata
- genetic algorithm
- real world