On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.
Dmitrij P. SkvortsovPublished in: Stud Logica (2004)
Keyphrases
- modal logic
- inference rules
- first order logic
- temporal logic
- expressive power
- classical logic
- decision trees
- desirable properties
- horn clauses
- nonmonotonic logics
- key frames
- frame rate
- video sequences
- kripke models
- epistemic logic
- tree automata
- default logic
- tree structures
- finite number
- neural network
- model checking
- reference frame
- finite automata
- truth values
- tree models
- machine learning