Knowledge and Belief Beyond Deterministic Truth Tables: An Epistemic Interpretation of Modal Nmatrices
Yang Song, Tsubasa Takagi
International Conference on Knowledge and Systems Engineering (KSE 2026), -, 2026
Formal Proof of Quantum Routing Mechanism for Arbitrarily Many Repeaters
Tsubasa Takagi, Ryuichi Nagoshi
International Conference on Knowledge and Systems Engineering (KSE 2026), -, 2026
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