Руцкий А. Н.
Критерий допустимости правил вывода с метапеременными в модальной логике S4.α_N

Представлен критерий допустимости правил вывода с метапеременными в модальной логике S4.α_N. Тем самым в логике S4.α_N решена проблема подстановки и получен алгоритм, распознающий разрешимость логических уравнений. Другим следствием критерия является разрешимость соответствующей квазиэквациональной теории свободной модальной алгебры в сигнатуре, обогащенной константами для свободных порождающих.

Rutskii A. N.
An admissibility criterion for inference rules with metavariables in the modal logic S4α_N

Using the criterion of this paper, we solve the substitution problem and obtain an algorithm for determining the solvability of logical equations in the modal logic S4.α_N. Another corollary of the criterion is the solvability of the corresponding quasiequational theory of the free modal algebra whose signature is enriched with constants for the free generators.

Полный текст статьи / Full texts:

• PDF file (510 KB)
• PostScript file (990 KB)