<p>We present a sound and complete axiomatisation of the epistemic logic <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4863_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {C.RC}\)</EquationSource> </InlineEquation>. In the logic, the propositional fragment is <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4863_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {C}\)</EquationSource> </InlineEquation>lassical, while agents’ epistemic attitudes are closed under on–topic relevant consequence, as modeled by <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4863_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {R}\)</EquationSource> </InlineEquation>elevant <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4863_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {C}\)</EquationSource> </InlineEquation>ontainment logic. By doing so, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11229_2024_4863_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf {C.RC}\)</EquationSource> </InlineEquation> complies with a principle of minimal mutilation of classical logic and lifts some limitations of existing frameworks, such as (i) logics of analytic implication, (ii) topic-sensitive analyses of epistemic modals, and (iii) the logic of relevant reasoners in classical worlds.</p>

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

Relevant epistemic logic with state-sensitive topics

  • Pietro Vigiani

摘要

We present a sound and complete axiomatisation of the epistemic logic \(\textsf {C.RC}\) . In the logic, the propositional fragment is \(\textsf {C}\) lassical, while agents’ epistemic attitudes are closed under on–topic relevant consequence, as modeled by \(\textsf {R}\) elevant \(\textsf {C}\) ontainment logic. By doing so, \(\textsf {C.RC}\) complies with a principle of minimal mutilation of classical logic and lifts some limitations of existing frameworks, such as (i) logics of analytic implication, (ii) topic-sensitive analyses of epistemic modals, and (iii) the logic of relevant reasoners in classical worlds.