Interpolation for extended modal languages (Q3370762): 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.2178/jsl/1107298517
+Normal rank
@@ Property / OpenAlex ID @@
+W2154199572
@@ Property / OpenAlex ID: W2154199572 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Relation Algebra with Binders
@@ Property / cites work: Relation Algebra with Binders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532193
@@ Property / cites work: Q4532193 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / 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 @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Interpolation and definability in guarded fragments
+Normal rank