computability logic

uncountable

(computing, mathematics) a formal theory of computability

Japanese Meaning

計算可能性に関する形式理論（計算や数学の分野で、計算可能性を形式的に捉えた理論）

Modern researchers use computability logic to formalize interactive computation problems and reason about their solvability.

現代の研究者は、相互作用型計算問題を形式的に定式化し、それらの解決可能性について論じるために計算可能性の理論を用いる。

Sense（1）

(computing, mathematics) a formal theory of computability