Order-topological and model-theoretic methods for modal logics

模态逻辑的顺序拓扑和模型理论方法

• 批准号: EP/F032102/1
• 负责人: Ian Hodkinson
• 金额: $ 36.6万
• 依托单位: Imperial College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2008
• 资助国家: 英国
• 起止时间: 2008 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FF032102%2F1
• 关键词: Order; topological; model; theoretic; methods

The research concerns the fundamental theory of modal logic and some other non-classical logics. Using model-theoretic, topological, algebraic, order-theoretic, and category-theoretic tools, general completeness theorems using enhanced Sahlqvist theory and canonical formulas will be proved, as well as specific completeness theorems for a number of logical systems. The research will also develop Fine's canonicity theorem and the theory of algebraic completions, and extend the theory of bisimulations to descriptive frames (Kripke frames endowed with additional topological structure). Descriptive frames will be an important tool, and the research will contribute to general understanding of their properties. New tools and techniques will be developed for dealing with them, and these will be of wider use. The research is part of a growing field that applies algebraic and topological methods in non-classical logics.

研究内容涉及模态逻辑的基本理论和其他一些非经典逻辑。使用模型论、拓扑论、代数、序论和范畴论工具，使用增强的Sahlqvist理论和规范公式证明一般完备性定理，以及一些逻辑系统的特定完备性定理。本研究还将发展Fine的正则性定理和代数补全理论，并将双模拟理论扩展到描述框架（赋予附加拓扑结构的Kripke框架）。描述性框架将是一个重要的工具，研究将有助于对其性质的一般理解。将开发新的工具和技术来处理这些问题，这些工具和技术将得到更广泛的应用。这项研究是将代数和拓扑方法应用于非经典逻辑的一个新兴领域的一部分。

项目成果

Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators

用算子完成相对化定点布尔代数时 Sahlqvist 定点方程的保留

• DOI: 10.1007/s00012-012-0196-x
• 发表时间: 2012
• 期刊: Algebra universalis
• 影响因子: 0.6
• 作者: Bezhanishvili N

CANONICAL FORMULAS FOR wK4

wK4 的规范公式

• DOI: 10.1017/s1755020312000251
• 发表时间: 2012
• 期刊: The Review of Symbolic Logic
• 作者: BEZHANISHVILI G

Bitopological duality for distributive lattices and Heyting algebras

• DOI: 10.1017/s0960129509990302
• 发表时间: 2010-01
• 期刊: Mathematical Structures in Computer Science
• 影响因子: 0.5
• 作者: G. Bezhanishvili;N. Bezhanishvili;D. Gabelaia;A. Kurz

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

通过 Birkhoff 对偶性和余代数有限生成自由 Heyting 代数

• DOI: 10.2168/lmcs-7(2:9)2011
• 发表时间: 2011
• 期刊: Logical Methods in Computer Science
• 影响因子: 0.6
• 作者: Bezhanishvili N

Modal compact Hausdorff spaces

模态紧豪斯多夫空间

• DOI: 10.1093/logcom/exs030
• 发表时间: 2012
• 期刊: Journal of Logic and Computation
• 影响因子: 0.7
• 作者: Bezhanishvili G