dialogues:通过 Lorenzen 对话游戏探索逻辑的工具

这组代码旨在作为处理 Lorenzen 对话的实验室。 这项工作主要由 ESF Eurocores 计划LogICCC （由葡萄牙科学基金会资助，FCT LogICCC/0001/2007）和 FWF 赠款 P25417-G15（ LOGFRADIG ）内的 ESF语义研究项目对话基础支持。