ac.sno2wman.net

様相論理と定理証明支援系について興味があります．

連絡先

ソフトウェア

1. Formalized Formal Logic

   https://github.com/FormalizedFormalLogic/Foundation

   Shogo Saito, Mashu Noguchi

   関連発表

   • 解釈可能性論理の形式化についての報告
   • 標準的な様相論理のLeanでの形式化について

口頭発表

1. Very Weak Subintuitionistic Logic

   野口 真柊

   2025/12/19 第60回 MLG数理論理学研究集会 @ 神戸大学

2. 解釈可能性論理の形式化についての報告

   野口 真柊

   2025/12/3 TPP 2025: 21st Theorem Proving and Provers Meeting @ 東北大学

   slides

3. 標準的な様相論理のLeanでの形式化について

   野口 真柊

   2024/11/24 TPP 2024: 20th Theorem Proving and Provers Meeting @ 九州大学 マス・フォア・インダストリ研究所

   slides