Bunched sequential information
DOI10.1016/J.JAL.2016.02.003zbMATH Open1436.03144OpenAlexW2281434313MaRDI QIDQ266883FDOQ266883
Publication date: 7 April 2016
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2016.02.003
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- The logic of information structures
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- On arithmetical first-order theories allowing encoding and decoding of lists
- Dynamic non-commutative logic
- Linear and affine logics with temporal, spatial and epistemic operators
- The semantics and proof theory of the logic of bunched implications
- Reasoning about resources and information: a linear logic approach
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- The logic of sequences
- The semantics of BI and resource tableaux
- Algebra and logic for resource-based systems modelling
- A Logical and Computational Theory of Located Resource
- Algebraic laws for nondeterminism and concurrency
- Temporal BI: proof system, semantics and translations
- The Logic of Bunched Implications
- Semantic Labelled Tableaux for Propositional BI
- On bunched typing
- BI as an assertion language for mutable data structures
- Resource-distribution via Boolean constraints
- Linear logic
- Solution to a problem of Ono and Komori
- A calculus and logic of resources and processes
Cited In (3)
This page was built for publication: Bunched sequential information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q266883)
