ホモトピー型理論から様相論理へのルートを考える
#🌱
なんもわからんけど書いておく
Homotopy Type Theory(HoTT)
と
様相論理
を組み合わせたものはどういったものか
すぐ検索に頼ってしまったけれど、
Modal Homotopy Type Theory
が様相論理 + ホモトピー型理論
Amazon | Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy | Corfield, David | Logic & Language
modal homotopy type theory in nLab
#Homotopy_Type_Theory(HoTT)
#ホモトピー型理論
#様相論理