Intuitionistic Layered Graph Logic
From MaRDI portal
Publication:2817944
DOI10.1007/978-3-319-40229-1_32zbMath1476.03024OpenAlexW2469290325MaRDI QIDQ2817944
Publication date: 5 September 2016
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10061770/
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
A stone-type duality theorem for separation logic via its underlying bunched logics, Semantical analysis of the logic of bunched implications, Unnamed Item, Unnamed Item, Unnamed Item, Intuitionistic Layered Graph Logic, A Substructural Epistemic Resource Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Extendible formulas in two variables in intuitionistic logic
- A theory of decomposition into prime factors of layered interconnection networks
- Modal logics for communicating systems
- Shortest paths without a map
- Dynamic epistemic logic
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Tableau methods of proof for modal logics
- Intuitionistic Layered Graph Logic
- Layered graph logic as an assertion language for access control policy models
- Erratum to: A substructural logic for layered graphs
- The semantics of BI and resource tableaux
- Tableaux for Public Announcement Logic
- A Modal BI Logic for Dynamic Resource Properties
- Algebra and logic for resource-based systems modelling
- Competitive Algorithms for Layered Graph Traversal
- The Logic of Bunched Implications
- The formal strong completeness of partial monoidal Boolean BI