Covariant-Contravariant Refinement Modal Logic.
Huili XingZhaohui ZhuJinjin ZhangPublished in: FLAP (2019)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- classical logic
- conditional logic
- situation calculus
- prime implicates
- nonmonotonic logics
- default logic
- model checking
- scale space
- modal operators
- dynamic logic
- natural language
- artificial intelligence
- integrity constraints
- refinement process