A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432): Difference between revisions

@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and propositional quantifiers in modal logics
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Interpolation in non-classical logics
@@ Property / cites work: Interpolation in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Modal interpolation via nested sequents
@@ Property / cites work: Modal interpolation via nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641128
@@ Property / cites work: Q5641128 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+<b>PDL</b> has interpolation
@@ Property / cites work: <b>PDL</b> has interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Retraction note for “<b>PDL</b> has interpolation”
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919674
@@ Property / cites work: Q3919674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870568
@@ Property / cites work: Q4870568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in normal modal logics
+Normal rank
@@ Property / cites work @@
+Temporal logics with ``the next'' operator do not have interpolation or the Beth property
+Normal rank
@@ Property / cites work @@
+Interpolation and Model Checking
@@ Property / cites work: Interpolation and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
+Normal rank
@@ Property / cites work @@
+Common knowledge does not have the Beth property
@@ Property / cites work: Common knowledge does not have the Beth property / rank @@
+Normal rank
@@ Property / cites work @@
+Beth Definability in Expressive Description Logics
+Normal rank