@第{zbMATH07210303条，作者={格拉迪、吉多和马费齐奥利、保罗和奥兰德利、尤金尼奥}，标题={一阶逻辑扩展中的插值}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={108}，数字={3}，页码={619--648}，年份={2020年}，语言={英语}，DOI={10.1007/s11225-019-09867-0}，关键词={03F03,03C40,03F05}，zbMATH={7210303}，Zbl={1452.03128}}