JAIST Repository > Research Center for Software Verification 2010-2016 >
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences