Semantic interpolation
Logic
2009-07-22 v2
Abstract
We treat interpolation for various logics.
Keywords
Cite
@article{arxiv.0906.4082,
title = {Semantic interpolation},
author = {Dov Gabbay and Karl Schlechta},
journal= {arXiv preprint arXiv:0906.4082},
year = {2009}
}
Related papers
View all related →
Logic · Mathematics
Interpolation in many valued predicate logics using algebraic logic
Tarek Sayed Ahmed
2013-04-04
Logic · Mathematics
Revisiting Interpolation in Relevant Logics
Wesley Fussner, Andrew Tedder
2025-12-01
Logic in Computer Science · Computer Science
Six Proofs of Interpolation for the Modal Logic K
Nick Bezhanishvili, Balder ten Cate, Rosalie Iemhoff
2025-11-25
Logic in Computer Science · Computer Science
Interpolation in First-Order Logic
Balder ten Cate, Jesse Comer
2025-10-07
Logic · Mathematics
Conditionals and modularity in general logics
Dov Gabbay, Karl Schlechta
2010-08-30
Logic in Computer Science · Computer Science
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
2023-06-16
Logic · Mathematics
A general proof system for logics of imperfect information
Pietro Galliani
2012-01-30
Logic in Computer Science · Computer Science
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
Dov Gabbay, David Pearce, Agustí n Valverde
2010-12-20
Logic in Computer Science · Computer Science
A Short Remark on Analogical Reasoning
Karl Schlechta
2019-10-08
Logic in Computer Science · Computer Science
Interpolation in Classical Propositional Logic
Patrick Koopmann, Christoph Wernhard, Frank Wolter
2026-02-24
Logic · Mathematics
Interpolation in Non-Classical Logics
Wesley Fussner
2025-12-02
Logic · Mathematics
Uniform Interpolation
Sam van Gool
2026-02-11
Logic · Mathematics
Uniform interpolation for interpretability logic
Sebastijan Horvat, Borja Sierra Miranda, Thomas Studer
2025-11-04
Complex Variables · Mathematics
Overinterpolation
Dan Coman, Evgeny A. Poletsky
2015-06-26
Logic · Mathematics
On some open problems in Algebraic logic
Tarek Sayed Ahmed
2013-04-05
Classical Analysis and ODEs · Mathematics
Interpolation by positive harmonic functions
Daniel Blasi, Artur Nicolau
2007-05-23
Logic · Mathematics
Independence and abstract multiplication
Dov Null Gabbay, Karl Schlechta
2010-01-19
Complex Variables · Mathematics
Multiple sampling and interpolation in the classical Fock space
Alexander Borichev, Andreas Hartmann, Karim Kellay, Xavier Massaneda
2015-12-23
Functional Analysis · Mathematics
Extrapolation: Stories and Problems
Sergey Astashkin, Mario Milman
2020-04-09
Logic · Mathematics
First-Order Interpolation Derived from Propositional Interpolation
Matthias Baaz, Anela Lolic
2020-02-14
Computation and Language · Computer Science
Interlock-Free Multi-Aspect Rationalization for Text Classification
Shuangqi Li, Diego Antognini, Boi Faltings
2022-05-16
Logic · Mathematics
Roadmap for preferential logics
Dov Gabbay, Karl Schlechta
2008-08-25
Artificial Intelligence · Computer Science
Interpolation in Knowledge Representation
Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
2025-12-10
Logic in Computer Science · Computer Science
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Dov Gabbay, David Pearce, Agustín Valverde
2014-01-17
Functional Analysis · Mathematics
Interpolation between Hilbert spaces
Yacin Ameur
2019-07-02