Loop-free calculus for modal logic S4. I

• Autores: Julius Andrikonis
• Localización: Lithuanian mathematical journal, ISSN 0363-1672, Vol. 52, Nº. 1, 2012, págs. 1-12
• Idioma: inglés
• DOI: 10.1007/s10986-012-9151-y
• Texto completo no disponible (Saber más ...)