We propose the recent notion of rewriting game theory as a tool for studying biochemical systems. Rewriting game theory is based on a discrete and dynamic notion of Nash-style equilibria for games without structural constraints and with arbitrary payoff values. Our aim here is to show how the formalism can be used to characterise biological information as logical properties of a purely chemical model. Specifically, we address MAPK cascades through a compendium of the involved chemical reactions, with particular focus on the known signalling pathways. We also present preliminary computerised support for our methodology.リサーチレポート（北陸先端科学技術大学院大学情報科学研究科
