Keyphrases
- modal logic
- quantum computation
- logic circuits
- inference rules
- temporal logic
- logic synthesis
- classical logic
- quantum computing
- predicate logic
- frame rate
- epistemic logic
- data sets
- kripke models
- logical framework
- automated reasoning
- desirable properties
- video frames
- model checking
- logic programming
- reference frame
- web intelligence
- computational properties
- bit rate
- knowledge base
- quantum inspired
- artificial intelligence
- probability ranking principle
- real time