JAIST Repository > ソフトウェア検証研究センター 2010~2016 >
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences