|
This article is cited in 1 scientific paper (total in 1 paper)
Kripke semantics for modal systems including S4.3
V. Yu. Meskhi Institute of Cybernetics, Academy of Sciences of the Georgian SSR
Abstract:
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.
Received: 26.04.1973
Citation:
V. Yu. Meskhi, “Kripke semantics for modal systems including S4.3”, Mat. Zametki, 15:6 (1974), 875–884; Math. Notes, 15:6 (1974), 523–528
Linking options:
https://www.mathnet.ru/eng/mzm7417 https://www.mathnet.ru/eng/mzm/v15/i6/p875
|
Statistics & downloads: |
Abstract page: | 357 | Full-text PDF : | 156 | First page: | 1 |
|