Modal Operators on Non-commutative Residuated Lattices | IEEE Conference Publication | IEEE Xplore