# Resource Logics with a Diminishing Resource

arXiv: https://arxiv.org/abs/1806.11559 · HTML: https://mlsanity.com/paper/1806.11559/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 24 Jun 2018.

## Built on by (most cited first, 1 of 1)

- [Budget-Constrained Coalition Strategies with Discounting](https://mlsanity.com/paper/2105.04692/) (2021)

## Abstract (arXiv)

Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption that there is at least one diminishing resource, that is, a resource that cannot be produced and every action has a non-zero cost on this resource. An example of such resource is time. We show that, with this assumption, problems that are undecidable even for the underlying Alternating Time Temporal Logic, such as model-checking under imperfect information and perfect recall, become decidable for resource logics with a diminishing resource.