川野、通崎 物理量观测的量子逻辑。 （英语） Zbl 07860234号 卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 90-105 (2023).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kawano}，莱克特。注释计算。科学。13780、90-105（2023；Zbl 07860234） 全文： 内政部
Tsubasa Takagi 量子逻辑线性时间扩展及其动态方面的语义分析。 （英语） Zbl 07713580号 ACM事务处理。计算。日志。 24，第3条，第19条，第21页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi}，ACM翻译。计算。日志。24，第3号，第19条，第21页（2023；Zbl 07713580） 全文： 内政部