| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Hybrid Linear Logic for Constrained Transition Systems
Abstract : Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal extension of intuitionistic linear logic where logical truth is indexed by constraints and hybrid connectives combine constraint reasoning with logical reasoning. The logic has a focused cut-free sequent calculus that can be used to internalize the rules of particular constrained transition systems; we illustrate this with an adequate encoding of the synchronous stochastic pi-calculus.
https://hal.inria.fr/hal-01285039
Contributor : Joelle Despeyroux <>
Submitted on : Tuesday, March 8, 2016 - 2:40:25 PM
Last modification on : Saturday, May 1, 2021 - 3:38:49 AM
Long-term archiving on: : Sunday, November 13, 2016 - 10:37:51 AM
Contributor : Joelle Despeyroux <>
Submitted on : Tuesday, March 8, 2016 - 2:40:25 PM
Last modification on : Saturday, May 1, 2021 - 3:38:49 AM
Long-term archiving on: : Sunday, November 13, 2016 - 10:37:51 AM
Files
main.pdf
Files produced by the author(s)