Intuitionistic layered graph logic

DOI10.1007/978-3-319-40229-1_32MaRDI QIDQ2817944zbMATH OpenOpenAlexFDO

Authors Simon Docherty, David 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

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• scientific article; zbMATH DE number 6970800
• A substructural logic for layered graphs
• Layered graph logic as an assertion language for access control policy models
• On graphs for intuitionistic modal logics
• Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions

Cites work

• A discipline of mathematical systems modelling
• A modal BI logic for dynamic resource properties
• A theory of decomposition into prime factors of layered interconnection networks
• Algebra and logic for resource-based systems modelling
• Competitive Algorithms for Layered Graph Traversal
• Dynamic epistemic logic
• Erratum to: ``A substructural logic for layered graphs
• Extendible formulas in two variables in intuitionistic logic
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• Intuitionistic layered graph logic
• Layered graph logic as an assertion language for access control policy models
• Modal logics for communicating systems
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Shortest paths without a map
• Tableau methods of proof for modal logics
• Tableaux for Public Announcement Logic
• The formal strong completeness of partial monoidal Boolean BI
• The Logic of Bunched Implications
• The semantics of BI and resource tableaux

Cited in

(13)

• A stone-type duality theorem for separation logic via its underlying bunched logics
• Intuitionistic layered graph logic
• A substructural logic for layered graphs
• Layered graph logic as an assertion language for access control policy models
• Stone-type dualities for separation logics
• On the Expressive Power of Graph Logic
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• Product of Graphs and Hybrid Logic
• A substructural epistemic resource logic
• scientific article; zbMATH DE number 6739879 (Why is no real title available?)
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Semantical analysis of the logic of bunched implications
• Fregean Logical Graphs

This page was built for publication: Intuitionistic layered graph logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817944)