共 50 条
- [35] INTRODUCTION TO BASIC CONCEPTS AND PROBLEMS OF MODERN LOGIC - GERMAN - HASENJAEGER,G REVIEW OF METAPHYSICS, 1966, 19 (04): : 812 - 812
- [36] Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic Journal of Indian Philosophy, 2021, 49 : 467 - 498
- [37] An explicit basis for the admissible inference rules in the Gödel-Löb logic GL Siberian Mathematical Journal, 2007, 48 : 339 - 345
- [38] From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic Logica Universalis, 2022, 16 : 221 - 235
- [40] On some properties of complete by expressibility systems of formulas in the Gödel-Löb provability logic 2000, Walter de Gruyter GmbH and Co. KG, Genthiner Strasse 13, Berlin, D-10785, Germany (10):