Keyphrases
- modal logic
- truth values
- decision procedures
- inference rules
- temporal logic
- expressive power
- classical logic
- default logic
- conditional logic
- nonmonotonic logics
- concept lattice
- association rule mining
- epistemic logic
- computational properties
- situation calculus
- information retrieval
- real world
- propositional calculus
- data sets
- modal operators
- propositional dynamic logic
- conceptual clustering
- knowledge discovery
- artificial intelligence
- neural network
- databases