Before revision:  Given a logical model of a pathophysiology, either Boolean or multivalued, kali searches for which biological components should be therapeutically disturbed in order to reduce the reachability of the attractors associated with pathological phenotypes, thus reducing the likelinessof pathological phenotypes . kali is illustrated on a simple example network and shows that it can find therapeutic targets able to reduce the likeliness of pathological phenotypes .
After revision:  Given a logical model of a pathophysiology, either Boolean or multivalued, kali searches for which biological components should be therapeutically disturbed in order to reduce the reachability of the attractors associated with pathological phenotypes, thus reducing the likelinessof pathological phenotypes . kali is illustrated on a simple example network and used on a biological case study. This case study is a published logic-based model of bladder tumorigenesis from which kali returns consistent results .