Section: New Results
A logic for systems biology
Kaustuv Chaudhuri and Joëlle Despeyroux have proposed a logic, called HyLL, for reasoning in and about reactions in systems and molecular biology. Such reaction systems can be imagined as state transition systems where the transitions are equipped with a stochastic rate function. In HyLL, these transitions are linear implications (from linear logic). The rate is determined using a modal judgement that makes the rate of formation explicit. The modal judgement is then reified by means of the connective from hybrid logic. They have demonstrated the use of HyLL on the repressilator, an example of a regulatory gene network. The expressivity of HyLL have been explicated by giving an embedding of the stochastic -calculus. A paper has been submitted and a technical report is in preparation.