矛盾許容階層確率CTLモデル検査は, 矛盾許容性, 階層性および確率性を持つモデルを検証可能な, CTLモデル検査の拡張である. 本研究では, 矛盾許容階層確率CTLモデル検査を実現するための論理を提案し, それを用いた矛盾許容階層確率CTLモデル検査の具体例を提示した. 矛盾許容階層確率CTLモデル検査を実現するための論理として, 従来の確率計算木論理pCTLを拡張した新たな論理IHpCTLを導入した. そして, IHpCTLを用いた矛盾許容階層確率CTLモデル検査の具体例として臨床推論モデルの検証例を示した.