共 50 条
- [34] Formalizing a Seligman-Style Tableau System for Hybrid Logic (Short Paper) AUTOMATED REASONING, PT I, 2020, 12166 : 474 - 481
- [36] Reach beyond metaphor to assess value - Commentary BRITISH MEDICAL JOURNAL, 1996, 313 (7050): : 154 - 154
- [40] COMMENTARY ON DARWALL,STEPHEN AUTONOMIST INTERNALISM AND THE JUSTIFICATION OF MORALS NOUS, 1990, 24 (02): : 283 - 283