Interpolation and preservation for pebble logics
From MaRDI portal
Publication:4262589
DOI10.2307/2586505zbMath0930.03041OpenAlexW2032250367MaRDI QIDQ4262589
Publication date: 15 February 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586505
Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Logic on admissible sets (03C70)
Cites Work