Dynamic many-valued logics for searching games with errors