A Logical Framework for Systems Biology

DOI10.1007/978-3-319-10398-3_10zbMath1402.92210arXiv1404.5439OpenAlexW1538462273MaRDI QIDQ5500406

Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty

Publication date: 6 August 2015

Published in: Formal Methods in Macro-Biology (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1404.5439

zbMATH Keywords

proofsystems biologymodal linear logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Biochemistry, molecular biology (92C40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Systems biology, networks (92C42)

Related Items

On concurrent behaviors and focusing in linear logic ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Hybrid and subexponential linear logics ⋮ Hybrid linear logic, revisited

Uses Software

• Coq
• PRISM
• NuSMV