Huili Xing

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Sequent Calculus

Refinement Process

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Huili Xing
On the Succinctness of Modal μ-Calculus Based on Covariant-Contravariant Refinement. Int. J. Softw. Eng. Knowl. Eng. 33 (4) (2023)
Huili Xing, Zhaohui Zhu, Jinjin Zhang
A calculus for epistemic interactions. CoRR (2022)
Huili Xing
Covariant-Contravariant Refinement Modal μ-calculus. CoRR (2022)
Huili Xing
Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement. IEEE Access 7 (2019)
Huili Xing
The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement. IEEE Access 7 (2019)
Huili Xing, Zhaohui Zhu, Jinjin Zhang
Covariant-Contravariant Refinement Modal Logic. FLAP 6 (1) (2019)