Aximo: Automated Axiomatic Reasoning for Information Update (Q4982122): Difference between revisions

@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Actions as Resources
@@ Property / cites work: Epistemic Actions as Resources / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Epistemic Update Without Change of Model
+Normal rank
@@ Property / cites work @@
+Q4738167
@@ Property / cites work: Q4738167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank