Keyphrases
- three dimensional
- expressive power
- multi dimensional
- modal logic
- information retrieval
- propositional calculus
- inference rules
- three dimensional objects
- classical logic
- gel electrophoresis
- propositional dynamic logic
- relevant knowledge
- computational properties
- higher order
- website
- knowledge base
- decision making
- artificial intelligence