Epistemic logic : on the decidability of epistemic logic 關(guān)于認(rèn)識邏輯的可判定性
In this article , we make a survey on the logical problem of arithmatical sentences , definability and decidability , in paticular 摘要本文是對算術(shù)句型中的邏輯問題做一綜覽,特別是算術(shù)句型的可定義性與可決定性。