Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations

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 with two new intensional logical operations { plausible and dominates { to capture the feature of uncertainty. The main mathematical problem we are dealing with is the satis ability problem. We solve it and nd deciding algorithm. In the nal part of paper we discuss interesting open problems for possible further investigations.