JAIST Repository > ソフトウェア検証研究センター 2010~2016 > z9-10. 学術雑誌論文等 >
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences