Research on a General State Formalization Method from the Perspective of Logic. - Qiu, Siyuan; Xu, Jianfeng (Mathematics (2227-7390), 2025)