Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206): Difference between revisions

@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Products of modal logics, part 1
@@ Property / cites work: Products of modal logics, part 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Products of modal logics. Part 2: relativised quantifiers in classical logic
+Normal rank
@@ Property / cites work @@
+Products of ‘transitive” modal logics
@@ Property / cites work: Products of ‘transitive” modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Some embedding theorems for modal logic
@@ Property / cites work: Some embedding theorems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of products of modal logics
@@ Property / cites work: Complexity of products of modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+On the Products of Linear Modal Logics
@@ Property / cites work: On the Products of Linear Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483014
@@ Property / cites work: Q5483014 / rank @@
+Normal rank