Analyzing completeness of axiomatic functional systems for temporal × modal logics

• Autores: Alfredo Burrieza Muñiz , Inmaculada Pérez de Guzmán Molina , Emilio José Muñoz Velasco
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 1, 2010, págs. 89-102
• Idioma: inglés
• Texto completo no disponible (Saber más ...)