Interpolation properties in the extensions of the logic of inequality (Q606045): 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/s11202-010-0045-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2052307888
@@ Property / OpenAlex ID: W2052307888 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and interpolation in non-classical logics
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of extensions of the logic of provability
+Normal rank
@@ Property / cites work @@
+Weak interpolation in extensions of the logics S4 and K4
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple weakly transitive modal algebras
@@ Property / cites work: Simple weakly transitive modal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Definability in Extensions of the Minimal Logic
+Normal rank
@@ Property / cites work @@
+A weak form of interpolation in equational logic
@@ Property / cites work: A weak form of interpolation in equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the interpolation problem and of related properties in tabular logics
+Normal rank
@@ Property / cites work @@
+Splitting lattices of logics
@@ Property / cites work: Splitting lattices of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank