<p>As time can be a resource, it is a bit unclear to me what you seek.</p>

<p>Nevertheless, you might want to look at weighted extensions of LTL, like Metric Temporal Logic first defined <a href="http://link.springer.com/article/10.1007%2FBF01995674#page-1" rel="nofollow">here</a>. (Specifying real-time properties with metric temporal logic)</p>

CC BY-SA 3.0
2015-01-19T18:59:44.573Z
Thanks for the reference. I'll check the suggested article. My interest in timed resource control is to ensure that a certain amount of resources satisfies a given property over time. Since temporal logics express properties over time, and linear logic can be used to express resource control, I'm wondering if there's a logic that can express properties about resources over time.
Rodrigo Ribeiro
CC BY-SA 3.0
2015-01-18T15:29:17.597Z
2015-01-18T15:29:17.597Z
User
<p>I'm studying proof theory and I've seen that linear logic can be used as a way to control resource usage, since by the propositions-as-types it is equivalent to the linear lambda calculus.</p>

<p>Is there a logic that allows resource control (like linear logic) and can express properties that vary over a notion of time like linear time temporal logics (LTL)?</p>

<p>Any reference or point to literature is highly appreciated.</p>

<lo.logic><type-theory><model-checking>
Logics for timed resource control
Rodrigo Ribeiro
# Logics for timed resource control

(Asked by: username_0 on 2014-12-17)

I'm studying proof theory and I've seen that linear logic can be used as a way to control resource usage, since by the propositions-as-types it is equivalent to the linear lambda calculus.

Is there a logic that allows resource control (like linear logic) and can express properties that vary over a notion of time like linear time temporal logics (LTL)?

Any reference or point to literature is highly appreciated.

**Tags:** lo.logic, type-theory, model-checking

---

## 1 answers

### Answer by username_1 on 2015-01-18. Score: 3 | Accepted answer

As time can be a resource, it is a bit unclear to me what you seek.

Nevertheless, you might want to look at weighted extensions of LTL, like Metric Temporal Logic first defined [here](http://link.springer.com/article/10.1007%2FBF01995674#page-1). (Specifying real-time properties with metric temporal logic)

> **Comments:**
> **username_0**: Thanks for the reference. I'll check the suggested article. My interest in timed resource control is to ensure that a certain amount of resources satisfies a given property over time. Since temporal logics express properties over time, and linear logic can be used to express resource control, I'm wondering if there's a logic that can express properties about resources over time.  

---

