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.