For a diagonalization interpretation of Godel’s fixed point lemma (and recursion theorem), refer to J. C. Owings’ Diagonalization and the recursion theorem, Notre Dame Journal of Formal Logic, 1973. Reply
For a diagonalization interpretation of Godel’s fixed point lemma (and recursion theorem), refer to J. C. Owings’ Diagonalization and the recursion theorem, Notre Dame Journal of Formal Logic, 1973.
例2.9.3中，演绎定理在模态逻辑中不成立，可以容易地构造一个模型使例中的公式在此模型中不为真。
谢谢！