6 datasets found

International audience

We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sound and strongly-complete axiomatic system, featuring an infinitary...

We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with...

Ouvrage (auteur).

Article dans revue scientifique avec comité de lecture.

Ouvrage (éditeur).