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