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

Activity Overview
6 month trend
243Downloads
6 month trend
218Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

View Item View Item