A Hybrid Linear Logic for Constrained Transition Systems.
Joëlle DespeyrouxKaustuv ChaudhuriPublished in: CoRR (2016)
Keyphrases
- linear logic
- transition systems
- model checking
- concurrent systems
- temporal logic
- fixed point
- finite state
- logic programming
- cut elimination
- logical framework
- practical reasoning
- sequent calculus
- desirable properties
- control flow
- inference rules
- belief revision
- reactive systems
- distributed systems
- graphical models
- data model