Keyphrases
- expressive power
- inference rules
- modal logic
- proof theory
- data sets
- information systems
- propositional calculus
- epistemic logic
- conditional logic
- classical logic
- neural network
- query language
- hidden markov models
- learning environment
- computational properties
- social networks
- machine learning
- real world
- intuitionistic logic