Tomasz Polacik Partially-Elementary Extension Kripke Models: A Characterization and Applications. 73-86 2006 14 Logic Journal of the IGPL 1 http://dx.doi.org/10.1093/jigpal/jzk005 db/journals/igpl/igpl14.html#Polacik06