Keyphrases
- computational properties
- expressive power
- valued logic
- modal logic
- classical logic
- social bookmarking
- neural network
- propositional dynamic logic
- proof theoretic
- dynamic aspects
- key properties
- model theoretic
- first order logic
- description logics
- nonmonotonic logics
- propositional calculus
- databases
- set theory
- decision procedures
- multi valued
- inference rules
- epistemic logic
- logic programs