Complete and Terminating Tableau Calculus for Undirected Graph
Yuki Nishimura, Tsubasa Takagi
Proceedings of Asian Workshop on Philosophical Logic (AWPL 2024), -, 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), -, 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

[書評] 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