Keyphrases
- propositional dynamic logic
- conditional logic
- proof theory
- expressive power
- hierarchical structure
- nonmonotonic logics
- logic programming
- hierarchical structures
- epistemic logic
- relational databases
- coarse to fine
- intuitionistic logic
- proof theoretic
- higher order logic
- multi agent systems
- valued semantics
- semantically relevant
- valued logic
- linear logic
- model theoretic
- data sets
- classical logic
- hierarchical clustering
- semantic information