共 50 条
- [32] A theory of first-order counterfactual reasoning KI-99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 1999, 1701 : 137 - 148
- [33] A first-order theory of Ulm type COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2019, 8 (3-4): : 347 - 358
- [36] A Mechanizable First-Order Theory of Ordinals AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 331 - 346
- [40] A Weak First-Order Theory of Sequences TWENTY YEARS OF THEORETICAL AND PRACTICAL SYNERGIES, CIE 2024, 2024, 14773 : 390 - 404