Keyphrases
- valued logic
- modal logic
- expressive power
- propositional calculus
- social bookmarking
- classical logic
- inference rules
- propositional logic
- nonmonotonic logics
- propositional dynamic logic
- coalition logic
- database
- intuitionistic logic
- decision procedures
- first order logic
- artificial neural networks
- database systems
- real world