Transductive logic