共 50 条
- [26] A theory of first-order counterfactual reasoning KI-99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 1999, 1701 : 137 - 148
- [27] A first-order theory of Ulm type COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2019, 8 (3-4): : 347 - 358
- [30] A Mechanizable First-Order Theory of Ordinals AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 331 - 346