共 50 条
- [21] REDUCTION OF SECOND-ORDER LOGIC TO MODAL LOGIC NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (07): : A640 - A640
- [22] Second-order quantifier elimination in modal contexts LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 223 - 232
- [23] STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS REVIEW OF SYMBOLIC LOGIC, 2017, 10 (03): : 397 - 454
- [24] Decoupled second-order equations and modal analysis of a general nonconservative system COLLECTION OF THE 41ST AIAA/ASME/ASCE/AHS/ASC STRUCTURES, STRUCTURAL DYNAMICS, AND MATERIALS CONFERENCE AND EXHIBIT, VOL 5, 2000, : 220 - 229
- [27] Second-order design sensitivities to assess the applicability of sensitivity analysis Brandon, J.A., 1600, (29):