Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Vladimir V. Rybakov. Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous. Fundamenta Informaticae, 81(1-3):297-313, 2007. [doi]

The following publications are possibly variants of this publication:

Logical consecutions in discrete linear temporal logicVladimir V. Rybakov. JSYML, 70(4):1137-1149, 2005. [doi]

Linear temporal logic with until and next, logical consecutionsVladimir V. Rybakov. APAL, 155(1):32-45, 2008. [doi]

Logical Consecutions in Intransitive Temporal Linear Logic of Finite IntervalsVladimir V. Rybakov. logcom, 15(5):663-678, 2005. [doi]

Branching Time Logics ::::BTL:::::::U, S:::::N, N:::-1:::::(::::Z::::)::a:: with Operations ::::Until:::: and ::::Since:::: Based on Bundles of Integer Numbers, Logical Consecutions, Deciding AlgorithmsVladimir V. Rybakov. mst, 43(2):254-271, 2008. [doi]

Linear Temporal Logic with Until and Before on Integer Numbers, Deciding AlgorithmsVladimir V. Rybakov. csr 2006: 322-333 [doi]

Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding AlgorithmsVladimir V. Rybakov. lfcs 2007: 486-497 [doi]

runs on WebDSL