Multi-agent Logic with Distances Based on Linear Temporal Frames [chapter]

Vladimir Rybakov, Sergey Babenyshev
2010 Lecture Notes in Computer Science  
The paper investigates a new temporal logic TL M Dist , which combines temporal operations with the operations of localised agent's knowledge and operations responsible for measuring distances. The main goal is to construct a logical framework for modelling logical laws, which describe interactions between such operations. We consider issues of satisfiability and decidability for TL M Dist . Our principal result is the algorithm which recognizes theorems of TL M Dist , which implies that TL M
more » ... st is decidable, and the satisfiability problem for TL M Dist is solvable.
doi:10.1007/978-3-642-13232-2_41 fatcat:uyob3eifd5dk7ilms27rn7rdk4