Vladimir V. Rybakov

Representation of Information and Satisfiability, Algorithms for Multi-Agent Logics

2020 · Procedia Computer Science

This paper studies logical properties of multi-agent logics based at relational models with elements of multi-agency. In particular, we introduce a multi-agent temporal logic PastL based at linear possible-worlds models with non-transitive and non-uniform accessibility …