Bi-modal Gödel logic over [0,1]-valued Kripke frames
Xavier CaicedoRicardo Oscar RodríguezPublished in: CoRR (2011)
Keyphrases
- modal logic
- classical logic
- valued logic
- temporal logic
- inference rules
- nonmonotonic logics
- kripke models
- default logic
- business intelligence
- modal operators
- moving objects
- model checking
- video frames
- situation calculus
- dynamic logic
- neural network
- multi valued
- propositional logic
- consecutive frames
- logic programming
- feature vectors
- valued semantics
- multi agent