A Unified Display Proof Theory for Bunched Logic (Q3178253): Difference between revisions

@@ Property / describes a project that uses @@
+jStar
@@ Property / describes a project that uses: jStar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2010.08.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2046363825
@@ Property / OpenAlex ID: W2046363825 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851318
@@ Property / cites work: Q2851318 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical BI
@@ Property / cites work: Classical BI / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Propositional Separation Logic and Its Neighbours
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Context logic as modal logic
@@ Property / cites work: Context logic as modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relational inductive shape analysis
@@ Property / cites work: Relational inductive shape analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing modular OO verification with separation logic
+Normal rank
@@ Property / cites work @@
+Bunched polymorphism
@@ Property / cites work: Bunched polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity Properties of Boolean BI Through Relational Models
+Normal rank
@@ Property / cites work @@
+Gaggles, Gentzen and Galois: how to display your favourite substructural logic
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q5688807
@@ Property / cites work: Q5688807 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
+Normal rank
@@ Property / cites work @@
+Nondeterministic Phase Semantics and the Undecidability of Boolean BI
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Hybridizing a Logical Framework
@@ Property / cites work: Hybridizing a Logical Framework / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying and deciding substructural logics. I: Logics with contraposition
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3178253