Abstract

We consider a multi-agent logic based on linear temporal logic. This logic uses as the semantics relational temporal models with multi-valuations—the models have separate valuations for all agents. We introduce in the logical language two new intensional logical operations—plausible and dominates—to capture the feature of uncertainty. The main mathematical problem we are dealing with is the satisfiability problem. We solve it and find deciding algorithm. In the final part of paper we discuss interesting open problems for possible further investigations.

中文翻译：

---

具有多赋值和内涵逻辑运算的多代理逻辑

摘要

我们考虑基于线性时间逻辑的多主体逻辑。此逻辑用作具有多个值的关系时间模型的语义-这些模型对所有代理都有单独的值。我们在逻辑语言中引入了两种新的内涵逻辑运算-合理的和支配的-以捕获不确定性的特征。我们要处理的主要数学问题是可满足性问题。我们解决它并找到决定算法。在本文的最后一部分，我们讨论了有趣的开放问题，以供进一步研究。