A two-valued semantics for infectious logics | IEEE Conference Publication | IEEE Xplore