用于处理基于代理的系统中的更改的逻辑工具
Logical tools for handling change in agent-based systems
摘要：
我们对非经典逻辑的各种结果和问题给出了一个统一的方法
英文摘要：
We give a unified approach to various results and problems of nonclassical logics
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
关于意图保守真实秘密的逻辑视角
A logical perspective on intending to keep a true secret
本文提出一种多主体正规多模态逻辑，用以刻画保守真实秘密的意图、信念与知识，并证明该系统的可靠性、完备性和可判定性。
math.LO
什么是逻辑理论？论包含断言和否定的理论
What is a logical theory? On theories containing assertions and denials
在逻辑学中，形式理论的标准概念一般只偏向断言：它通常只指断言的集合，任何接受理论的生成公理的主体也应该承诺接受。在回顾主要的抽象方法来研究逻辑后果，我们指出为什么这个概念的理论是不满意的，在多个层面上，并介绍了一种新的概念的理论，攻击的缺点，接受的概念，允许一个同时采取断言和否定的标准。这一新的理论概念是基于双边的方法，后果运营商，我们在此介绍，其主要性质，我们在本文件中调查。
math.LO
STIT逻辑中的限制插值及其缺失
Restricted Interpolation and Lack Thereof in Stit Logic
我们考虑的命题逻辑配备了Chellas stit算子的有限集的个人代理加上历史必然模态。我们解决的问题，这样的逻辑是否享有限制插值性质，这需要存在的插值只有在情况下，后果不包含Chellas stit运营商发生在前提。我们表明，如果行动运营商计数为逻辑符号，那么这样的逻辑有限制插值性质当数量的代理不超过三个。另一方面，如果动作运算符被认为是非逻辑符号，则对于任何超过一个的代理数量，受限内插都失败。因此，无限制的克雷格插值也失败了几乎所有版本的stit逻辑。
math.LO
