Harmonious logic: Craig's interpolation theorem and its descendants (original) (raw)
Related papers
A Note on the Interpolation Theorem in First Order Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1982
L O ] 1 0 A ug 2 01 8 Interpolation in extensions of first-order logic
2018
Interpolation in Extensions of First-Order Logic
Studia Logica
The Craig Interpolation Theorem in abstract model theory
Synthese, 2008
Logique Et Analyse, 2017
The Modelwise Interpolation Property of Semantic Logics
Bulletin of the Section of Logic
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach
Studia Logica, 1986
On weak and strong interpolation in algebraic logics
The Journal of Symbolic Logic, 2006
Failures of the Interpolation Lemma in Quantified Modal Logic
Guilherme Messias Pereira Lima
The Relevant Fragment of First Order Logic [The Review of Symbolic Logic]
Craig's Interpolation Theorem for the Intuitionistic Logic of Constant Domains
1971
Preservation theorems for strong first-order logics
arXiv (Cornell University), 2019
Failure of interpolation in relevant logics
Journal of Philosophical Logic, Vol. 22, 449-479, 1993
First-order logics: some characterizations and closure properties
Acta Informatica, 2012
Journal of Logic and Computation, 2009
arXiv (Cornell University), 2023
Residuated Basic Logic II. Interpolation, Decidability and Embedding
2014
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
Journal of Symbolic Logic, 1986
On Interpolation and Symbol Elimination in Theory Extensions
Lecture Notes in Computer Science, 2016
The Craig interpolation theorem for prepositional logics with strong negation
Studia Logica, 1985
Generalized interpolation and definability
Annals of Mathematical Logic, 1970
arXiv Computer Science, 2020
LF: a foundational higher order logic
On Preservation Theorems for Two-Variable Logic
Extensions of First-Order Logic, Maria Manzano
Journal of Logic, Language and Information - JOLLI, 1998
A definability theorem for first order logic
1997
Sentential logics and Maehara Interpolation Property
Studia Logica, 1985
Compactness theorems for finitely-many-valued sentenial logics
Studia Logica, 1978
Beth's definability theorem in relevant logics
"Logic at Work" ed. Ewa Orlowska, pp. 229-234, 1999
Interpolation Property on Visser's Formal Propositional Logic
Bulletin of the Section of Logic
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
arXiv (Cornell University), 2012
A Note on the Compactness Theorem in First Order Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1980
Interpolation and Beth Definability in Default Logics
Lecture Notes in Computer Science, 2019
Constructive interpolation in hybrid logic
2003