Keyphrases
- propositional dynamic logic
- semantic information
- proof theory
- proof theoretic
- relevant content
- epistemic logic
- conditional logic
- nonmonotonic logics
- meta information
- background information
- logic programming
- semantic structure
- formal semantics
- inference rules
- modal logic
- metadata
- information retrieval
- expressive power
- multimedia
- logical structure
- semantic meaning
- wordnet
- website
- valued logic