Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814): 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.1305/ndjfl/1039293062
+Normal rank
@@ Property / OpenAlex ID @@
+W2245892899
@@ Property / OpenAlex ID: W2245892899 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation, preservation, and pebble games
@@ Property / cites work: Interpolation, preservation, and pebble games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and modal logic
@@ Property / cites work: Generalized quantifiers and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the model theory of denumerably long formulas with finite strings of quantifiers
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal reduction principles
@@ Property / cites work: Modal reduction principles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Modality, bisimulation and interpolation in infinitary logic
+Normal rank
@@ Property / cites work @@
+Logic of transition systems
@@ Property / cites work: Logic of transition systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5937814