Scholarlink

<p>We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textbf{IK}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">IK</mi> </math></EquationSource> </InlineEquation> and being an appropriate candidate for the title of “minimal normal intuitionistic modal logic”.</p>

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

Intuitionistic Modal Logics: A Minimal Setting

  • 期刊论文

  • 发表日期：

    2026年4月6日

查看全文
  • Philippe Balbiani,
  • Çiğdem Gencer

摘要

We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic \(\textbf{IK}\) IK and being an appropriate candidate for the title of “minimal normal intuitionistic modal logic”.