Keyphrases
- epistemic logic
- modal operators
- dynamic epistemic logic
- logic programming
- modal logic
- tree structure
- tree models
- hybrid learning
- hierarchical structure
- logical framework
- tree search
- bayesian networks
- tree structures
- multi valued
- binary tree
- classical logic
- mathematical theory
- predicate logic
- formal semantics
- model checking
- monadic second order logic
- multi agent systems