Construction of an Explicit Basis for Rules Admissible in Modal System S4

• Autores: V. V. Rybakov
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 47, Nº 4, 2001, págs. 441-446
• Idioma: inglés
• Texto completo no disponible (Saber más ...)