On Axiomatizability and Presertvation in Kripke Models

Zoran Marković