interpretability logicsとは 意味・読み方・使い方

意味・対訳 解釈可能性論理 (英: Interpretability logics) は、様相論理の一系統を構成しており、解釈可能性 (en) や弱い解釈可能性 (en)、Π1-conservativity、cointerpretability、tolerance、cotolerance、および計算複雑さ (arithmetic complexity) のような様々な関連する数学的性質と関係を記述するために証明可能性論理を拡張したものである。