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