Intuitionistic Layered Graph Logic

DOI10.1007/978-3-319-40229-1_32zbMath1476.03024OpenAlexW2469290325MaRDI QIDQ2817944

Simon Docherty, David J. Pym

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/

Mathematics Subject Classification ID

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