# A dynamic logic method for determining behaviors of biological networks

Source: [A dynamic logic method for determining behaviors of biological networks](<https://www.sota2.com/research/paper/68fa5e8d1e209131ce9e351c>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2025-10-28T13:56:18.430Z

Authors: Suping Lyu

Published: 2008-06-10T19:55:08.000Z

## Abstract

A dynamic logic method was developed to analyze molecular networks of cells by combining Kauffman and Thomas's logic operations with molecular interaction parameters. The logic operations characterize the discrete interactions between biological components. The interaction parameters (e.g. response times) describe the quantitative kinetics. The combination of the two quantitatively characterizes the discrete biological interactions. A number of simple networks were analyzed. The main results include: we proved the theorems to determine bistable states and oscillation behaviors of networks, we showed that time delays are essential for oscillation structures, we proved that single variable networks do not have chaotic behaviors, and we explained why one signal can have multiply responses. In addition, we applied the present method to the analysis of the MAPK cascade, feed-forward loops, and mitosis cycle of budding yeast cells.

## Recorded benchmark results

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

## Original sources and implementation

[Original paper](<https://arxiv.org/abs/0806.1733>)

[PDF](<https://arxiv.org/pdf/0806.1733.pdf>)