Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2586797
@@ Property / full work available at URL: https://doi.org/10.2307/2586797 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2006059181
@@ Property / OpenAlex ID: W2006059181 / rank @@
+Normal rank
@@ Property / cites work @@
+Zum Entscheidungsproblem des logischen Funktionenkalküls
+Normal rank
@@ Property / cites work @@
+Logic at work. Essays dedicated to the memory of Helena Rasiowa
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Extending partial isomorphisms on finite structures
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+The unsolvability of the Gödel class with identity
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank