TY - JOUR AU - M. N. Rybakov TI - Axiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames JO - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika PY - 2018 SP - 81 EP - 94 IS - 3 UR - http://geodesic.mathdoc.fr/item/VTPMK_2018_3_a5/ LA - ru ID - VTPMK_2018_3_a5 ER -