Interpolation and preservation for pebble logics
From MaRDI portal
Publication:4262589
DOI10.2307/2586505zbMath0930.03041MaRDI 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
03C80: Logic with extra quantifiers and operators
03C40: Interpolation, preservation, definability
03C70: Logic on admissible sets
Cites Work