RO EN
A criterion for parametrical completeness in the 4-valued extension of modal logic S5.
Authors: Cebotari V.
Abstract
The problem of parametrical completeness in the simplest non-classical extension of modal logic S5 is considered. The conditions permiting to determine the parametrical completeness of an arbitrary system of modal formulae in mentioned logic are established in the terms of 22 parametrical precomplete classes of formulae.Contents
- temp
- Algebraical equivalences of topological spaces.
- A note on RK - and CRK -manifolds.
- Quasistability of the vector L∞ -extreme combinatorial problem with Pareto principle of optimalite.
- On some problem of the tangency of sets.
- On the character group and Brauer group of rational function field over a pseudoglobal field.
- A criterion for parametrical completeness in the 4-valued extension of modal logic S5.
- Probabilities in the Extended Matching model.
- The GL(2, R) -orbits of differential system with cubic homogeneities.
