Complete and Terminating Tableau Calculus for Undirected Graph
Yuki Nishimura, Tsubasa Takagi
Exploring Negation, Modality and Proof, 173-191, 2026

Formal Verification of Measurement-Based Quantum Computation in Maude
Ryuichi Nagoshi, Tsubasa Takagi
Proceedings of International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2025), Lecture Notes in Computer Science (LNCS), 16356, 160-178, 2026

Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, 34, 6, 182:1-182:36, 2025

A Tableau-Based Approach to Model Checking Linear Temporal Properties
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
Proceedings of International Conference on Formal Engineering Methods (ICFEM 2024), Lecture Notes in Computer Science (LNCS), 15394, 353-374, 2024

Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 24th International Conference on Formal Engineering Methods (ICFEM 2023)(FAVPQC@ICFEM), 36-51, 2024

Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 24th International Conference on Formal Engineering Methods (ICFEM 2023)(FAVPQC@ICFEM), 67-82, 2024

Automated Quantum Program Verification in Dynamic Quantum Logic
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Proceedings of DaLí: Dynamic Logic – New trends and applications (DaLí 2023), Lecture Notes in Computer Science (LNCS), 14401, 68-84, 2024

Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
Tsubasa Takagi
ACM Transactions on Computational Logic, 24, 3, 19:1-19:21, 2023

An Algebra of Quantum Programs with the Kleene Star Operator
Tsubasa Takagi
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022)(FAVPQC@ICFEM), CEUR Workshop Proceedings, 3280, 2-15, 2022

量子論理のオブザーバブル依存Kripke意味論
高木 翼
新進研究者 Research Notes, 4, 1-8, 2021

Translation from Three-Valued Quantum Logic to Modal Logic
Tsubasa Takagi
International Journal of Theoretical Physics, 60, 1, 366-377, 2021

K4タブローによる妥当性判定と濾過法
高木 翼
Journal of Science and Philosophy, 2, 1, 4-23, 2019