Interpolation in non-classical logics (Q1024121): 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/s11229-008-9359-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2088685215
@@ Property / OpenAlex ID: W2088685215 / rank @@
+Normal rank
@@ Property / cites work @@
+Repairing the interpolation theorem in quantified modal logic
+Normal rank
@@ Property / cites work @@
+Interpolation in fuzzy logic
@@ Property / cites work: Interpolation in fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Failures of the interpolation lemma in quantified modal logic
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509053
@@ Property / cites work: Q3509053 / rank @@
+Normal rank
@@ Property / cites work @@
+Undefinability of propositional quantifiers in the modal system S4
+Normal rank
@@ Property / cites work @@
+Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
+Normal rank
@@ Property / cites work @@
+An extension of the Craig-Lyndon interpolation theorem
+Normal rank
@@ Property / cites work @@
+Q4187817
@@ Property / cites work: Q4187817 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logics with ``the next'' operator do not have interpolation or the Beth property
+Normal rank
@@ Property / cites work @@
+Q4250364
@@ Property / cites work: Q4250364 / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q2748497
@@ Property / cites work: Q2748497 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal tableau calculi and interpolation
@@ Property / cites work: Modal tableau calculi and interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in fragments of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Interpolation in fragments of classical linear logic
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank