共 50 条
- [23] A denotational semantics for first-order logic COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 53 - 69
- [25] Combining Probability and First-Order Logic ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 4 - 4
- [26] Monitoring First-Order Interval Logic SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 66 - 83
- [28] Rigid First-Order Hybrid Logic LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 53 - 69