Decidable fragments of first-order modal logics (Q2758067): Difference between revisions

@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A multi-dimensional terminological knowledge representation language
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / 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 @@
+The Undecidability of Monadic Modal Quantification Theory
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Maslov's inverse method and decidable classes
@@ Property / cites work: Maslov's inverse method and decidable classes / rank @@
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Ein erweiterter Klassenkalkül
@@ Property / cites work: Ein erweiterter Klassenkalkül / rank @@
+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 @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for MIPQ and some consequences
+Normal rank