txx-logica-temporal-ramifica.pdf