On compositional reasoning about anonymity and privacy in epistemic logic (Q504214): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B42
@@ Property / Mathematics Subject Classification ID: 03B42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P25
@@ Property / Mathematics Subject Classification ID: 68P25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P30
@@ Property / Mathematics Subject Classification ID: 68P30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6677858
@@ Property / zbMATH DE Number: 6677858 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+epistemic logic
@@ Property / zbMATH Keywords: epistemic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multiagent system
@@ Property / zbMATH Keywords: multiagent system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+anonymity
@@ Property / zbMATH Keywords: anonymity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+privacy
@@ Property / zbMATH Keywords: privacy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositionality
@@ Property / zbMATH Keywords: compositionality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modular reasoning
@@ Property / zbMATH Keywords: modular reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probability
@@ Property / zbMATH Keywords: probability / rank @@
+Normal rank

On compositional reasoning about anonymity and privacy in epistemic logic (Q504214): Difference between revisions

Revision as of 02:07, 1 July 2023

Statements

Sitelinks

Mathematics(0 entries)