Decidability of modal logics of non-\(k\)-colorable graphs (Q6118698): Difference between revisions

@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+The chromatic number of the plane is at least 5: a new proof
+Normal rank
@@ Property / cites work @@
+Q4075436
@@ Property / cites work: Q4075436 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for logics with the tangle modality
+Normal rank
@@ Property / cites work @@
+Erdős Graphs Resolve Fine's Canonicity Problem
@@ Property / cites work: Erdős Graphs Resolve Fine's Canonicity Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Every world can see a reflexive world
@@ Property / cites work: Every world can see a reflexive world / rank @@
+Normal rank
@@ Property / cites work @@
+Derivational Modal Logics with the Difference Modality
+Normal rank
@@ Property / cites work @@
+Q4636301
@@ Property / cites work: Q4636301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5104715
@@ Property / cites work: Q5104715 / rank @@
+Normal rank