Scholarlink

<p><i>A normal modal logic is pretransitive if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. We establish the finite model property for pretransitive generalizations of</i> <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textrm{K4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>K4</mtext> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{wK4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>wK4</mtext> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textrm{GL}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>GL</mtext> </math></EquationSource> </InlineEquation>, <i>and their extensions by canonical subframe-hereditary formulas. Bibliography: 26 titles.</i></p>

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

FINITE MODEL PROPERTY OF PRETRANSITIVE ANALOGUES OF (w)K4 AND GL

  • 期刊论文

  • 发表日期：

    2025年11月1日

查看全文
  • L. V. Dvorkin

摘要

A normal modal logic is pretransitive if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. We establish the finite model property for pretransitive generalizations of \(\textrm{K4}\) K4 , \(\textrm{wK4}\) wK4 , \(\textrm{GL}\) GL , and their extensions by canonical subframe-hereditary formulas. Bibliography: 26 titles.