Restricted interpolation over modal logic S4

• Autores: L. L. Maksimova
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 52, Nº. 4, 2013, págs. 308-335
• Idioma: inglés
• DOI: 10.1007/s10469-013-9244-7
• Texto completo no disponible (Saber más ...)