TY - JOUR AU - V. Yu. Meskhi TI - Kripke semantics for modal systems including S4.3 JO - Matematičeskie zametki PY - 1974 SP - 875 EP - 884 VL - 15 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1974_15_6_a5/ LA - ru ID - MZM_1974_15_6_a5 ER -