Bunched logic

Bunched logic is a type of non-classical logic that extends traditional logic systems, particularly in the context of resource management and linear logic. It was developed to capture the nuances of systems where resources are not freely reusable, such as in concurrent computation or certain aspects of reasoning about state changes.