Scholarlink

<p>The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibility, and we put forward two systems of hybrid logic, one of them complete with respect to the class of dense linear betweenness frames without endpoints, and the other with respect to its subclass composed of Dedekind complete frames.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Hybrid Logic of Strict Betweenness

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年10月30日

查看全文
  • Rafał Gruszczyński,
  • Zhiguang Zhao

摘要

The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibility, and we put forward two systems of hybrid logic, one of them complete with respect to the class of dense linear betweenness frames without endpoints, and the other with respect to its subclass composed of Dedekind complete frames.