Abstract | ||
---|---|---|
We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to
identify some open problems and further directions. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/s11229-008-9351-5 | Synthese |
Keywords | DocType | Volume |
Interpolation,Definability,Cross-model relations,First-order fragments,Meta-theory | Journal | 164 |
Issue | ISSN | Citations |
3 | 0039-7857 | 6 |
PageRank | References | Authors |
0.50 | 13 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johan van Benthem | 1 | 1181 | 107.83 |