论文标题
古典世界中的相关推理者
Relevant Reasoners in a Classical World
论文作者
论文摘要
我们为认知逻辑开发了一个框架，该框架将相关的模态逻辑与经典命题逻辑相结合。在我们的框架中，根据相关的模态逻辑，代理被建模为推理，而我们逻辑的命题片段是经典的。为了实现此功能，我们修改了相关模态逻辑的关系语义，以使模型中的有效性被定义为一组指定状态的满意度，这些状态就命题连接剂而言，其行为像经典的世界一样。本文的主要技术结果是由相关模态逻辑形式化代理的推理的模块化完整定理。
We develop a framework for epistemic logic that combines relevant modal logic with classical propositional logic. In our framework the agent is modeled as reasoning in accordance with a relevant modal logic while the propositional fragment of our logics is classical. In order to achieve this feature, we modify the relational semantics for relevant modal logics so that validity in a model is defined as satisfaction throughout a set of designated states that, as far as propositional connectives are concerned, behave like classical possible worlds. The main technical result of the paper is a modular completeness theorem parametrized by the relevant modal logic formalizing the agent's reasoning.
