段階的にAlphaCentauriの結果を入れていくとやがてProvabilityLogicの依存関係を追加することになると思う．そうなってくるとリポジトリを分割している意義が薄れていくので，将来的にはProvabilityLogicの内容を少しずつこちらに復活させていくことになると思う（以前とは違って汎用的な様相論理全体の議論は入れずにあくまで算術などを分析する技術的な道具としての観点でブラッシュアップさせて導入する）
段階的にAlphaCentauriの結果を入れていくとやがてProvabilityLogicの依存関係を追加することになると思う．そうなってくるとリポジトリを分割している意義が薄れていくので，将来的にはProvabilityLogicの内容を少しずつこちらに復活させていくことになると思う（以前とは違って汎用的な様相論理全体の議論は入れずにあくまで算術などを分析する技術的な道具としての観点でブラッシュアップさせて導入する）