Topology, connectedness, and modal logic
Topology, connectedness, and modal logic
复制标题
DOI：
--
复制
发表时间：
2008-07
期刊：
影响因子：
--
通讯作者：
R. Kontchakov;Ian Pratt-Hartmann;F. Wolter;M. Zakharyaschev
中科院分区：
文献类型：
--
作者：
R. Kontchakov;Ian Pratt-Hartmann;F. Wolter;M. Zakharyaschev
图书简介：模态逻辑进展是一个独特的国际论坛，展示了广泛构思的模态逻辑研究的最新成果和新方向。所涉及的主题是跨学科的兴趣和范围从数学，计算和哲学问题的知识表示和形式语言学的应用。本卷包含2008年9月在法国南希举行的AiML系列第七次会议的邀请和贡献论文。它报告了模态逻辑的基础和一些应用领域的重大进展。它包括各种模态逻辑的元理论论文;空间和时间推理和解释自然语言的系统;新兴的coalgebraic观点;以及模态性质的历史观点。
Book synopsis: Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. This volume contains invited and contributed papers from the seventh conference in the AiML series, held in Nancy, France, in September 2008. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas. It includes papers on the metatheory of a variety of modal logics; on systems for spatial and temporal reasoning and interpreting natural language; on the emerging coalgebraic perspective; and on historical views of the nature of modality.