Epistemic logic : on the decidability of epistemic logic 关于认识逻辑的可判定性
In this article , we make a survey on the logical problem of arithmatical sentences , definability and decidability , in paticular 摘要本文是对算术句型中的逻辑问题做一综览,特别是算术句型的可定义性与可决定性。
decidabilityとは意味:decidability 決定可能性[電情] decidability meaning:[Computer] < mathematics > A property of sets for which one can determine whether something is a member or not in a finite number of computational steps. Decidability is an important conc...decidability перевод:разрешимость Разрешимость decidability разрешимость