Discrete linear temporal logic with current time point clusters, deciding algorithms

DOI10.12775/LLP.2008.009zbMath1298.03063OpenAlexW2027847293MaRDI QIDQ3534986

Vladimir Vladimirovich Rybakov

Publication date: 10 November 2008

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2008.009

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

On Linear Logic of Knowledge and Time

This page was built for publication: Discrete linear temporal logic with current time point clusters, deciding algorithms