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

Formal Verification of Quantum Arithmetic Circuits in Maude
Naoto Sato, Tsubasa Takagi
International Symposium on System Security, Safety, and Reliability (ISSSR 2026), -, 2026

Reachable Completeness Theorem of Order-sorted Equational Logic with Infinite Proofs
Taeseung Sohn, Tsubasa Takagi
International Symposium on Theoretical Aspects of Software Engineering (TASE 2026), -, 2026

Formal Verification of Scalable Remote CNOT Protocol Architectures in Linear Quantum Repeater Networks Using Mathematical Induction
Yi Liu, Canh Minh Do, Tsubasa Takagi
International Conference on Quantum Communications, Networking, and Computing (QCNC 2026), -, 2026

[書評] Robert Goldblatt, Logics of Time and Computation, 2nd Ed.
高木 翼
Tokyo Academic Review of Books (TARB), 62, -, 2024

Quantum Dynamic Algebra: From Orthomodular Lattice to Algebra of Quantum Programs
Tsubasa Takagi
Doctoral Dissertation, -, 2023

動的量子論理による量子プログラム検証およびその実装
高木 翼
一般社団法人 情報処理学会 研究報告 IPSJ SIG Technical Report, 2023-QS-9, 6, 1-6, 2023