Bi-modal Gödel logic over [0, 1]-valued Kripke frames.
Xavier CaicedoRicardo Oscar RodríguezPublished in: J. Log. Comput. (2015)
Keyphrases
- modal logic
- classical logic
- valued logic
- temporal logic
- nonmonotonic logics
- inference rules
- kripke models
- modal operators
- default logic
- business intelligence
- situation calculus
- dynamic logic
- multi valued
- coalition logic
- video frames
- valued semantics
- case study
- reference frame
- defeasible logic
- image frames
- multi frame
- key frames
- moving objects
- search engine