概率量子霍尔逻辑（probabilistic quantum Hoare logic）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。由角谷良彦（YoshihikoKakutani）提出，不采用厄米（Hermite）矩阵作为量子谓词，而是把邓哈托（DenHartog）的概率霍尔逻辑扩充为概率量子霍尔逻辑。这个逻辑称为QHL，是针对塞林格（Selinger）的QPL语言设计的。其中所有的概率状态被替换成混合量子态，而在逻辑公式中则加进了酉变换。需要获取信息时只能通过测量获取它的经典值。