共 50 条
- [21] A satisfiability algorithm for multi-modal logic with converse 2023 11TH INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING RESEARCH AND INNOVATION, CONISOFT 2023, 2023, : 246 - 255
- [24] Aristotle's modal logic. Essence and entailment in the 'Organon' - Patterson,R TIJDSCHRIFT VOOR FILOSOFIE, 1996, 58 (03): : 567 - 569
- [25] Aristotle's modal logic. Essence and entailment in the 'Organon' - Patterson,R REVUE DE METAPHYSIQUE ET DE MORALE, 1996, 101 (04): : 556 - 557
- [27] Modal syllogisms, possible worlds, essentialism. An analysis of Aristotle's modal logic - German - Nortmann,U ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1997, 51 (03): : 486 - 490
- [29] Formula-Layered predicate modal logic Ruan Jian Xue Bao/Journal of Software, 2014, 25 (05): : 1014 - 1024