关于一些局部表格正态逻辑的统一类型的评述

IF 0.6 4区数学 Q2 LOGIC

Logic Journal of the IGPL Pub Date : 2023-01-01 DOI:10.1093/jigpal/jzab033

Philippe Balbiani;ÇiĞdem Gencer;Maryam Rostamigiv;Tinko Tinchev

引用次数: 1

摘要

众所周知，正态模态逻辑中的统一公式$\textbf {K}+\square ^{2}\bot $要么是有限的，要么是酉的，正态模态逻辑中的统一公式$\textbf {Alt}_{1}+\square ^{2}\bot $是酉的。本文证明了对于所有$d{\geq }3$，正态模态逻辑中的统一公式$\textbf {K}+\square ^{d}\bot $要么是有限的，要么是酉的，正态模态逻辑中的统一公式$\textbf {Alt}_{1}+\square ^{d}\bot $是酉的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Remarks about the unification types of some locally tabular normal modal logics

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Logic Journal of the IGPL 数学-数学

CiteScore

2.60

自引率

10.00%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering. Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal.