TY  - JOUR
AU  - Zoran Marković
TI  - On Axiomatizability and Presertvation in Kripke Models
JO  - Publications de l'Institut Mathématique
PY  - 1981
SP  - 111 
VL  - _N_S_30
IS  - 44
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1981_N_S_30_44_a14/
LA  - en
ID  - PIM_1981_N_S_30_44_a14
ER  -