On the Succinctness of Modal μ-Calculus Based on Covariant-Contravariant Refinement.
Huili XingPublished in: Int. J. Softw. Eng. Knowl. Eng. (2023)
Keyphrases
- modal logic
- sequent calculus
- inference rules
- temporal logic
- transition systems
- nonmonotonic logics
- natural deduction
- website
- model checking
- refinement operators
- scale space
- algebraic structure
- relational calculus
- situation calculus
- automated deduction
- refinement process
- default logic
- data mining
- expert systems
- data structure
- information retrieval