Infectious semantics and analytic calculi for even more inclusion logics | IEEE Conference Publication | IEEE Xplore