Complete and Terminating Tableau Calculus for Undirected Graph
Yuki Nishimura, Tsubasa Takagi
Proceedings of Asian Workshop on Philosophical Logic (AWPL 2024), -, 2025
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
Observable-Dependent Kripke Semantics for Quantum Logic
Tsubasa Takagi
Japanese Student Research Notes of Philosophy of Science, 4, 1-8, 2021
Validity Checking by K4 Tableau and Filtration Method
Tsubasa Takagi
Journal of Science and Philosophy, 2, 1, 4-23, 2019