仿佛时间还停留在那个阳光明媚的早晨，阳光透过郁郁葱葱的大树，斑斑驳驳的洒在去往校园的柏油路上，我在阳光与树影之间行走，这是我在UNICAMP生活中每个新的一天的开始。三个月的时间一晃而过，当我从忙碌的学习中稍作停留，想要细细品味与思考的时候，才发现时间也悄悄的溜走，于是此刻，用白纸黑字来记忆这段深刻与充实的经历。
4月1号，在前一天刚刚结束了开题报告之后，我踏上了飞往地球之南的旅程。之前从未计算过这段行程的距离，而在踏上了飞机，足足飞了22个小时之后，我才感受到了她的漫长。巴西当地时间4月2号上午，我到达了巴西圣保罗。在机场与Walter教授见面之后，真正开始了我的访学之旅。
UNICAMP是巴西坎皮纳斯大学葡萄牙语的简称，这所大学坐落在圣保罗的卫星城坎皮纳斯市，Walter教授所在的“逻辑、认识论与科学史研究所”（The Centre for Logic, Epistemology and the History of Science，简称CLE）就是我此次访学的目的地。该研究所最初由Oswaldo Porchat Pereira教授于1976年创立，1977年正式并入坎皮纳斯大学。CLE建立的中心目标是发展逻辑、认识论及科学史领域的研究活动以及跨学科之间的研究活动。在这三个月的时间里，我在CLE下属的逻辑理论与应用研究组(The Group for Theoretical and Applied Logic，简称 GTAL)进行学习和相关研究。逻辑理论与应用研究组(GTAL)是由CLE中一些具具有不同学科背景及研究视角但具有共同研究兴趣的研究人员组成。通过与不同学科背景的研究人员进行交流和学习，我这次访学之行取得了非常大的收获。
首先，每周三下午CLE都会有不同主题的讨论会，报告人都是来自不同国家的逻辑研究者，他们或者是非常有名的教授，或者是非常年轻的研究员。不管怎样，报告的主题都非常的新颖，并且是当前国际逻辑学界研究的前沿问题。在访学的这段时间里，类似讨论会我参加了数十场，通过与不同的学者进行交流和沟通，开拓了我自己的学术视野，也使我在一定程度上转变了自己固有的研究思路与方法。
其次，结合自己的研究课题“多模态逻辑及其应用研究”，我参加了核心课程“模态与多模态逻辑”的学习。这门课程是Walter教授专门为我此次访学开设的课程，这门课程共14个课时，由Walter教授和巴西ABC联邦大学Juliana Bueno-Soler博士共同讲授。这门课程使用的教材就是我的博士论文的核心参考文献之一《模态和多模态》。在上课过程中，老师细心讲授每一个命题和证明，并且针对学生有异议的地方进行额外的解读。而我也根据自己的研究兴趣，会在课堂上与老师们进行讨论，老师们针对不同的问题都会给出建设性的意见和解答。可以说，通过这门课程的学习，加深了我对自己研究课题的理解程度，同时也使我对自己的研究课题更加具有兴趣和信心。
再次，除了参加研讨会和相关课程之外，我大部分之间都会在CLE给我提供的办公室里查找和阅读文献。在Walter教授的帮助下，我申请到了UNICAMP的访问学者卡，拥有了自己在这个学校的ID。用这个ID我就可以同这所学校里的学生一样，使用全部的电子资源。在访学的这段时间里，我搜集了大量与我的研究课题相关的文献，其中有大部分都是我在国内没有找到的。我相信在拥有充足的文献的支持下，我的研究会进行的更加顺利。
最后，三个月的访学时间也让我认识了更多的朋友，增进了我们之间的友谊。Walter教授对我的学习和生活都非常关心，Juliana博士也给我的论文写作和研究思路提出了很多富有创见的建议，Roldof研究员在我这段时间的学习和生活上都提供了很多帮助，以及CLE的很多学生和工作人员都给予了我很多无私的帮助，在此一并感谢他们。
访学是短暂的，回忆却是永久的。在巴西，我领略到了自然风光的纯净与和谐；在巴西，我领略到了巴西人的热情似火；在巴西，我收获了知识与友谊。