共 11 条
- [1] Belnap N. D. J., 1973, TRUTH SYNTAX MODALIT
- [2] GROVER, 1972, J PHILOSOPHICAL LOGI, V1, P111
- [3] GROVER, 1976, ANALYSIS, V36, P80
- [5] KLEENE SC, 1952, INTRO METAMATHEMATIC
- [6] Kripke, 1975, J PHILOS, VLXXII, P690
- [9] QUINE, 1970, PHILOSOPHY LOGIC
- [10] STRAWSON, 1950, P ARISTOTELIAN SOC S, V24, P129