Contraction in propositional logic (Q2374542): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ijar.2016.06.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2471885182
@@ Property / OpenAlex ID: W2471885182 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+A textbook of belief dynamics. Theory change and database updating
+Normal rank
@@ Property / cites work @@
+On the logic of iterated belief revision
@@ Property / cites work: On the logic of iterated belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+AGM 25 years. Twenty-five years of research in belief change
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093655
@@ Property / cites work: Q3093655 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief revision in Horn theories
@@ Property / cites work: Belief revision in Horn theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624012
@@ Property / cites work: Q3624012 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated belief revision, revised
@@ Property / cites work: Iterated belief revision, revised / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240239
@@ Property / cites work: Q3240239 / rank @@
+Normal rank
@@ Property / cites work @@
+Error Detecting and Error Correcting Codes
@@ Property / cites work: Error Detecting and Error Correcting Codes / rank @@
+Normal rank
@@ Property / cites work @@
+The measurement of ranks and the laws of iterated contraction
+Normal rank