Belief revision and update: Complexity of model checking (Q5943121): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Q5750466
@@ Property / cites work: Q5750466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterfactuals
@@ Property / cites work: Counterfactuals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016548
@@ Property / cites work: Q4016548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5751985
@@ Property / cites work: Q5751985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028815
@@ Property / cites work: Q4028815 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198896
@@ Property / cites work: Q3198896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank