Tsubasa Takagi;干，坎明;Kazuhiro绪方 动态量子逻辑中的自动量子程序验证。 （英语） Zbl 07856040号 Gierasimczuk，Nina（编辑）等人，《动态逻辑》。新趋势和应用。第五届国际研讨会，DaLí2023，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。14401, 68-84 (2024).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi}等人，Lect。注释计算。科学。14401、68--84（2024；Zbl 07856040） 全文： DOI程序
Jort Martinus Bergfeld;约书亚·萨克 推导量子程序概率逻辑中量子协议的正确性。 （英语） 兹比尔1387.81146 软计算。 21，第6期，1421-1441（2017）.MSC公司：81页68 81页第10页 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Bergfeld}和\textit{J.Sack}，软计算。21，第6号，1421--1441（2017；Zbl 1387.81146） 全文： DOI程序 OA许可证
拉德·索鲁斯·拉菲;Elahe Shirinkalam;斯梅茨，索尼娅 量子投票协议的逻辑分析。 （英语） Zbl 1394.81022号 国际J.Theor。物理学。 56，第12号，3991-4003（2017）.MSC公司：81页第10页 03G12号机组 81页68 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Rad}等人，国际期刊Theor。物理学。56，第12号，3991--4003（2017；Zbl 1394.81022） 全文： DOI程序
亚历山大·巴尔塔格;斯梅茨，索尼娅 信息交互的逻辑。 （英语） Zbl 1336.03020号 J.菲洛斯。日志。 44，第6期，595-607（2015）.MSC公司：03B42号 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}和\textit{S.Smets}，J.Philos。日志。44，第6号，595--607（2015；Zbl 1336.03020） 全文： DOI程序 OA许可证