(n+1)-valued modal implicative semilattices | IEEE Conference Publication | IEEE Xplore