Modal correspondence theory in the class of all Euclidean frames.

Philippe Balbiani,Dimiter Georgiev,Tinko Tinchev

JOURNAL OF LOGIC AND COMPUTATION（2018）

引用 4|浏览3

暂无评分

摘要

The core of this article is the modal correspondence theory in the class of all Euclidean frames. It shows that with respect to the class of all Euclidean frames, every modal formula is first-order definable and the problem of deciding the modal definability of sentences is undecidable.

查看译文

关键词

Modal logic,first-order logic,correspondence theory,first-order definability,modal definability,Euclidean frames

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要