可証性述語の述語様相論理
https://phsc.jp/dat/rsm/20110605ama3.pdf
倉橋 太志
証明可能性述語論理QGL