A Hybrid Linear Logic for Constrained Transition Systems

2009.

Cited by: 2|Bibtex|Views1
Other Links: academic.microsoft.com
Keywords:
state transitionindexationsequent calculuslinear logic

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 connectiv...More

Code:

Data:

Your rating :
0

 

Tags
Comments