Definability and interpolation in non-classical logics (Q2498367): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-006-7203-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2006614341
@@ Property / OpenAlex ID: W2006614341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in practical formal development
@@ Property / cites work: Interpolation in practical formal development / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of extensions of the logic of provability
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Logical matrices and the amalgamation property
@@ Property / cites work: Logical matrices and the amalgamation property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in modal and tense logics with applications to problems in philosophy and linguistics
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting in the variety of residuated lattices
@@ Property / cites work: Splitting in the variety of residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics. Sufficient conditions
+Normal rank
@@ Property / cites work @@
+Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
+Normal rank
@@ Property / cites work @@
+Interpolation properties of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in normal modal logics
+Normal rank
@@ Property / cites work @@
+Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
+Normal rank
@@ Property / cites work @@
+An analog of Beth's theorem in normal extensions of the modal logic K4
+Normal rank
@@ Property / cites work @@
+Q4936636
@@ Property / cites work: Q4936636 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly decidable properties of modal and intuitionistic calculi
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and implicit definability
@@ Property / cites work: Intuitionistic logic and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532125
@@ Property / cites work: Q4532125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430408
@@ Property / cites work: Q4430408 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451641
@@ Property / cites work: Q4451641 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of interpolation and related problems in positive calculi
+Normal rank
@@ Property / cites work @@
+Definability in Normal Extensions of S4
@@ Property / cites work: Definability in Normal Extensions of S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477357
@@ Property / cites work: Q5477357 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Definability in Extensions of the Minimal Logic
+Normal rank
@@ Property / cites work @@
+The Projective Beth Property and Interpolation in Positive and Related Logics
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and the Robinson property for logics not closed under the Boolean operations
+Normal rank
@@ Property / cites work @@
+Q4463933
@@ Property / cites work: Q4463933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5654015
@@ Property / cites work: Q5654015 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240238
@@ Property / cites work: Q3240238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273484
@@ Property / cites work: Q4273484 / rank @@
+Normal rank
@@ Property / cites work @@
+Halldén-completeness in super-intuitionistic predicate logics
+Normal rank