「modal logic」を解説文に含む見出し語の検索結果(31～40/115件中)
論理学において、正規様相論理（せいきようそうろんり、normal modal logic）とは、以下の条件を満たす様相論理式（modal formulas）の集合 L である。命題論理のすべての恒真式...
デイナ・スチュアート・スコット生誕 (1932-10-11) 1932年10月11日（91歳）研究分野計算機科学数学哲学研究機関カリフォルニア大学バークレー校スタンフォード大学オックスフォード大学カー...
デイナ・スチュアート・スコット生誕 (1932-10-11) 1932年10月11日（91歳）研究分野計算機科学数学哲学研究機関カリフォルニア大学バークレー校スタンフォード大学オックスフォード大学カー...
ナビゲーションに移動検索に移動時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコ...
ナビゲーションに移動検索に移動時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコ...
ナビゲーションに移動検索に移動時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコ...
ナビゲーションに移動検索に移動哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用い...
ナビゲーションに移動検索に移動哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用い...
クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論...
クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論...