Separation logic and logics with team semantics (Q2172820): Difference between revisions

@@ Property / cites work @@
+From IF to BI. A tale of dependence and separation
+Normal rank
@@ Property / cites work @@
+On the almighty wand
@@ Property / cites work: On the almighty wand / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
+Normal rank
@@ Property / cites work @@
+Separation logic with one quantified variable
@@ Property / cites work: Separation logic with one quantified variable / rank @@
+Normal rank
@@ Property / cites work @@
+The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Epistemic operators in dependence logic
@@ Property / cites work: Epistemic operators in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Strongly First-Order Dependencies
@@ Property / cites work: On Strongly First-Order Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Counting in Team Semantics
@@ Property / cites work: Counting in Team Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Coherence and computational complexity of quantifier-free dependence logic formulas
+Normal rank
@@ Property / cites work @@
+Team Logic and Second-Order Logic
@@ Property / cites work: Team Logic and Second-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On definability in dependence logic
@@ Property / cites work: On definability in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank