Kripke Completeness of Infinitary Predicate Multimodal Logics.
Yoshihito TanakaPublished in: Notre Dame J. Formal Log. (1999)
Keyphrases
- modal logic
- inference rules
- first order logic
- temporal logic
- decision procedures
- epistemic logic
- horn clauses
- expressive power
- multi modal
- classical logic
- nonmonotonic logics
- model checking
- desirable properties
- kripke models
- neural network
- multimodal data
- logical framework
- audio visual
- conditional logic
- multimodal interaction
- multimodal information
- coalition logic
- higher order
- truth values
- multimedia
- machine learning
- data sets