Decidable and Undecidable Problems for First-Order Definability and Modal Definability
LANGUAGE, LOGIC, AND COMPUTATION(2022)
摘要
The core of this paper is Chagrova's Theorems about first-order definability of given modal formulas and modal definability of given elementary conditions. We consider classes of frames for which modal definability is decidable and classes of frames for which first-order definability is trivial. We give a new proof of Chagrova's Theorem about modal definability and sketches of proofs of new variants of Chagrova's Theorem about modal definability.
更多查看译文
关键词
First-order definability, Modal definability, Chagrova's theorems
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要