Scholarlink

<p>We provide a complete axiomatization of modal inclusion logic—team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator.</p>

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

Axiomatizing modal inclusion logic and its variants

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年1月27日

查看全文
  • Aleksi Anttila,
  • Matilda Häggblom,
  • Fan Yang

摘要

We provide a complete axiomatization of modal inclusion logic—team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator.