共 50 条
- [2] GENTZEN-TYPE CALCULI FOR MODAL LOGIC S4 WITH BARCAN FORMULA LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 381 - 390
- [4] Interpreting Aristotle's Modal Logic DOCUMENTI E STUDI SULLA TRADIZIONE FILOSOFICA MEDIEVALE, 2015, 26 : 1 - 12
- [10] Aristotle's Formal System of Modal Logic and its Modal Paradoxes PHILOSOPHICAL FORUM, 2016, 47 (01): : 5 - 15