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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1122038910
+Normal rank
@@ Property / OpenAlex ID @@
+W2116809109
@@ Property / OpenAlex ID: W2116809109 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5718684