A general Lindström theorem for some normal modal logics (Q2392014): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-013-0078-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2026448710
@@ Property / OpenAlex ID: W2026448710 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q29013753
@@ Property / Wikidata QID: Q29013753 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal characterisation theorems over special classes of frames
+Normal rank
@@ Property / cites work @@
+Horn clauses and database dependencies
@@ Property / cites work: Horn clauses and database dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of negative definability in modal logic
+Normal rank
@@ Property / cites work @@
+Q2904060
@@ Property / cites work: Q2904060 / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677149
@@ Property / cites work: Q3677149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085171
@@ Property / cites work: Q3085171 / rank @@
+Normal rank
@@ Property / cites work @@
+A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
+Normal rank
@@ Property / cites work @@
+A new modal Lindström theorem
@@ Property / cites work: A new modal Lindström theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Lindstrom theorems for fragments of first-order logic
+Normal rank