THE IMPORTANCE OF BEING DISCRETE
Journal of Dental Research(2007)
摘要
The paper discusses discrete frames as an attractive semantics for modal logic. We study questions of completeness, persistence, duality and denability. Notions of completeness, strong global completeness and complexity of dual varieties coincide for discrete frames; moreover, they are equivalent to conservativity of minimal hybrid extensions. The paper also provides some criteria of di-persistence and a Goldblatt-Thomason theorem for discrete frames.
更多查看译文
关键词
modal logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络