报道纯模态逻辑与应用模态逻辑领域的重要新进展。
《模态逻辑进展》(AiML)始于1995年,是逻辑学领域的学术项目。其宗旨为报道纯模态逻辑与应用模态逻辑领域的重要新进展;现有登记资料未载明其会址、活动与内部结构。
官网:https://example.org/
地址 / 邮箱 / 电话等完整联系方式
暂无出版物数据
暂无会议数据
暂无关系数据
模态逻辑进展 · 一次付费,永久查看