e-space
Manchester Metropolitan University's Research Repository

Non-transitive linear temporal logic and logical knowledge operations

Rybakov, VV (2015) Non-transitive linear temporal logic and logical knowledge operations. Journal of Logic and Computation, 26 (3). pp. 945-958. ISSN 0955-792X

[img]
Preview

Download (126kB) | Preview

Abstract

© 2015 The Author, 2015. Published by Oxford University Press. All rights reserved.We study a linear temporal logic LTLNT with non-transitive time (with NEXT and UNTIL) and possible interpretations for logical knowledge operations in this approach. We assume time to be non-transitive, linear and discrete, it is a major innovative part of our article. Motivation for our approach that time might be non-transitive and comments on possible interpretations of logical knowledge operations are given. The main result of Section 5 is a solution of the decidability problem for LTLNT, we find and describe in details the decision algorithm. In Section 6 we introduce non-transitive linear temporal logic LTLNT(m) with uniform bound (m) for non-transitivity. We compare it with standard linear temporal logic LTL and the logic LTLNT - where non-transitivity has no upper bound - and show that LTLNT may be approximated by logics LTLNT(m). Concluding part of the article contains a list of open interesting problems.

Impact and Reach

Statistics

Downloads
Activity Overview
195Downloads
207Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

View Item View Item