Matematičeskie zametki, Tome 15 (1974) no. 6, pp. 875-884
Citer cet article
V. Yu. Meskhi. Kripke semantics for modal systems including S4.3. Matematičeskie zametki, Tome 15 (1974) no. 6, pp. 875-884. http://geodesic.mathdoc.fr/item/MZM_1974_15_6_a5/
@article{MZM_1974_15_6_a5,
author = {V. Yu. Meskhi},
title = {Kripke semantics for modal systems including {S4.3}},
journal = {Matemati\v{c}eskie zametki},
pages = {875--884},
year = {1974},
volume = {15},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1974_15_6_a5/}
}
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
UR - http://geodesic.mathdoc.fr/item/MZM_1974_15_6_a5/
LA - ru
ID - MZM_1974_15_6_a5
ER -
%0 Journal Article
%A V. Yu. Meskhi
%T Kripke semantics for modal systems including S4.3
%J Matematičeskie zametki
%D 1974
%P 875-884
%V 15
%N 6
%U http://geodesic.mathdoc.fr/item/MZM_1974_15_6_a5/
%G ru
%F MZM_1974_15_6_a5
We present, in terms of Kripke models, the characteristics of all the known extensions of the modal system S4.3. Such a semantic description makes it possible to give a complete picture of the whole class of systems extending S4.3. We obtain answers to some unsolved problems.
