This article is cited in 5 papers

Multi-agent temporal nontransitive linear logics and the admissibility problem

V. V. Rybakov<sup>ab

a</sup> Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk
^b A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: We study an extension of temporal logic, a multi-agent logic on models with nontransitive linear time (which is, in a sense, also an extension of interval logic). The proposed relational models admit lacunas in admissibility relations among agents: information accessible for one agent may be inaccessible for others. A logical language uses temporary operators ‘until’ and ‘next’ (for each of the agents), via which we can introduce modal operations ‘possible’ and ‘necessary.’ The main problem under study for the logic introduced is the recognition problem for admissibility of inference rules. Previously, this problem was dealt with for a logic in which transitivity intervals have a fixed uniform length. Here the uniformity of length of not assumed, and the logic is extended by individual temporal operators for different agents. An algorithm is found which decides the admissibility problem in a given logic, i.e., it recognizes admissible inference rules.

Keywords: temporal logics, multi-agent logics, information, problem of admissibility of rules, decision algorithms.

UDC: 510.64:510.65:510.66

Received: 16.12.2018
Revised: 30.04.2020

DOI: 10.33048/alglog.2020.59.108

 English version: Algebra and Logic, 2020, 59:1, 87–100

Bibliographic databases:

• 
•