Logic between Expressivity and Complexity (Q5747755): 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/978-3-642-14203-1_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1506199103
@@ Property / OpenAlex ID: W1506199103 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q3085171
@@ Property / cites work: Q3085171 / rank @@
+Normal rank
@@ Property / cites work @@
+Lindstrom theorems for fragments of first-order logic
+Normal rank
@@ Property / cites work @@
+Guards, bounds, and generalized semantics
@@ Property / cites work: Guards, bounds, and generalized semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal predicates, fixed-points, and definability
+Normal rank
@@ Property / cites work @@
+A new modal Lindström theorem
@@ Property / cites work: A new modal Lindström theorem / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5747755