Loop-free calculus for modal logic S4. II

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