A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees.
Bernhard HeinemannPublished in: ECSQARU-FAPR (1997)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- binary tree
- binary trees
- epistemic logic
- classical logic
- nonmonotonic logics
- tree representation
- decision trees
- situation calculus
- conditional logic
- dynamic logic
- tree structure
- autoepistemic logic
- tree automata
- prime implicates
- data model
- bayesian networks