An admissibility criterion for inference rules with metavariables in the modal logic S 4. a N

• Autores: A.N. Rutskii
• Localización: Siberian mathematical journal, ISSN 0037-4466, Vol. 48, Nº. 2, 2007, págs. 317-326
• Idioma: inglés
• DOI: 10.1007/s11202-007-0033-1
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.a 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.