Scholarlink

In this paper, we enhance the many-sorted hybrid logic with an algebraic structure over nominals. In this way, a world or a state might be referred by a nominal term and the set of worlds has an algebraic structure. We define algebraic structures for the proposed logic, as pairs of algebras and Boolean algebras with operators and we prove frame and algebraic completeness theorems. As an example of this system, we define an epistemic logic with actions for specifying and analysing security protocols.

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

Hybrid Many-Sorted Modal Logic with Nominal Terms

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Ioana Leuştean,
  • Bogdan Macovei

摘要

In this paper, we enhance the many-sorted hybrid logic with an algebraic structure over nominals. In this way, a world or a state might be referred by a nominal term and the set of worlds has an algebraic structure. We define algebraic structures for the proposed logic, as pairs of algebras and Boolean algebras with operators and we prove frame and algebraic completeness theorems. As an example of this system, we define an epistemic logic with actions for specifying and analysing security protocols.