Volver a los detalles del artículo La teoría de los modelos mentales dentro de una lógica no axiomática