Minimal predicates, fixed-points, and definability (Q5718684): Difference between revisions

@@ Property / cites work @@
+Minimal consequence in sentential logic
@@ Property / cites work: Minimal consequence in sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532193
@@ Property / cites work: Q4532193 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / rank @@
+Normal rank