Measuring inconsistency in some branching time logics (Q5156185): Difference between revisions

@@ Property / cites work @@
+Revisiting Postulates for Inconsistency Measures
@@ Property / cites work: Revisiting Postulates for Inconsistency Measures / rank @@
+Normal rank
@@ Property / cites work @@
+Relative inconsistency measures
@@ Property / cites work: Relative inconsistency measures / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Classifications for inconsistent theories
@@ Property / cites work: Classifications for inconsistent theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4581210
@@ Property / cites work: Q4581210 / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency
@@ Property / cites work: Measuring inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+How Dirty Is Your Relational Database? An Axiomatic Approach
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency measures for probabilistic logics
@@ Property / cites work: Inconsistency measures for probabilistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressivity of inconsistency measures
@@ Property / cites work: On the expressivity of inconsistency measures / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency with many-valued logics
@@ Property / cites work: Measuring inconsistency with many-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5226731
@@ Property / cites work: Q5226731 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of inconsistency measurement
@@ Property / cites work: On the complexity of inconsistency measurement / rank @@
+Normal rank
@@ Property / cites work @@
+Handling and measuring inconsistency in non-monotonic logics
+Normal rank