A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Multi-agent Logic with Distances Based on Linear Temporal Frames
[chapter]
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
doi:10.1007/978-3-642-13232-2_41
fatcat:uyob3eifd5dk7ilms27rn7rdk4