Kripke semantics for modal systems including S4.3
Matematičeskie zametki, Tome 15 (1974) no. 6, pp. 875-884
Cet article a éte moissonné depuis la source Math-Net.Ru
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.
@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/}
}
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/