Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963340765
@@ Property / OpenAlex ID: W2963340765 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05656
@@ Property / arXiv ID: 1601.05656 / rank @@
+Normal rank
@@ Property / cites work @@
+Partition-based logical reasoning for first-order and propositional theories
+Normal rank
@@ Property / cites work @@
+A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
+Normal rank
@@ Property / cites work @@
+Craig Interpolation in Displayable Logics
@@ Property / cites work: Craig Interpolation in Displayable Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Beth Definability in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+GEOMETRISATION OF FIRST-ORDER LOGIC
@@ Property / cites work: GEOMETRISATION OF FIRST-ORDER LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Modal interpolation via nested sequents
@@ Property / cites work: Modal interpolation via nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q3414345
@@ Property / cites work: Q3414345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419884
@@ Property / cites work: Q5419884 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform Interpolation by Resolution in Modal Logic
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Interpolation Method for Multicomponent Sequent Calculi
+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 @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Exact Covers: Completeness and Uniform Interpolation
+Normal rank
@@ Property / cites work @@
+Q3016134
@@ Property / cites work: Q3016134 / rank @@
+Normal rank