共 17 条
- [1] Chellas B. F.(1996)Modal Logics in the Vicinity of S1 Notre Dame Journal of Formal Logic 37 1-25
- [2] Segerberg K.(1966)Natural Deduction Rules for Obligation American Philosophical Quarterly 3 27-38
- [3] Fitch F. B.(1972)Two New Interpretations of Modality Logique et Analyse 15 443-459
- [4] Garson J. W.(1981)Prepositional Logic Logique et Analyse 24 3-33
- [5] Garson J. W.(2008)Review of [12] Theoria 74 86-90
- [6] Girle R. A.(1990)Natural Deduction in Normal Modal Logic Notre Dame Journal of Formal Logic 31 263-273
- [7] Hawthorn J.(2014)Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different Studia Logica 102 1103-1142
- [8] Hazen A. P.(1988)Heterogeneous Logic Erkenntnis 29 395-435
- [9] Pelletier F. J.(1974)Intensional Logics Without Iterative Axioms Journal of Philosophical Logic 3 457-466
- [10] Humberstone L.(1985)The Extensions of the Modal Logic Journal of Symbolic Logic 50 102-109