Tableau Calculi for the Logics of Finite k-Ary Trees.
Mauro FerrariCamillo FiorentiniGuido FiorinoPublished in: TABLEAUX (2002)
Keyphrases
- sequent calculi
- description logics
- expressive power
- modal logic
- decision trees
- tree models
- conditional logic
- nonmonotonic logics
- valued logic
- reasoning problems
- tree structures
- finite number
- decision procedures
- finite automata
- epistemic logic
- propositional logic
- proof procedure
- proof theory
- tree structure
- expert systems