An Epistemic Separation Logic (Q2947467): Difference between revisions

@@ 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.1007/978-3-662-47709-0_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1443086472
@@ Property / OpenAlex ID: W1443086472 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for Public Announcement Logic
@@ Property / cites work: Tableaux for Public Announcement Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848068
@@ Property / cites work: Q2848068 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Actions as Resources
@@ Property / cites work: Epistemic Actions as Resources / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Algebra and logic for resource-based systems modelling
+Normal rank
@@ Property / cites work @@
+A Modal BI Logic for Dynamic Resource Properties
@@ Property / cites work: A Modal BI Logic for Dynamic Resource Properties / 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 @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Separation Logic
@@ Property / cites work: A Simple Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+The formal strong completeness of partial monoidal Boolean BI
+Normal rank
@@ Property / cites work @@
+Q4180316
@@ Property / cites work: Q4180316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711863
@@ Property / cites work: Q5711863 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank