Strong completeness with respect to finite Kripke models (Q1167163): Difference between revisions

@@ Property / author @@
-Wiesław Dziobiak
@@ Property / author: Wiesław Dziobiak / rank @@
-Normal rank
@@ Property / author @@
+Wiesław Dziobiak
@@ Property / author: Wiesław Dziobiak / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208624
@@ Property / cites work: Q3208624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+The Finite Model Property and Subsystems of Classical Propositional Calculus
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02584059
+Normal rank
@@ Property / OpenAlex ID @@
+W1991484667
@@ Property / OpenAlex ID: W1991484667 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1167163