From Logic to Biology via Physics: a survey.

Giuseppe Longo Maël Montévil

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

logic programming
computer science
modal logic
formal theory
automated reasoning
epistemic logic
deontic logic
scientific fields
sound and complete axiomatization
three dimensional
molecular biology
probabilistic logic
classical logic
set theory
delay insensitive
propositional dynamic logic