Timed propositional temporal logic
id:
timed-propositional-temporal-logic-290-4061189
title:
Timed propositional temporal logic
text:
In model checking, a field of computer science, timed propositional temporal logic (TPTL) is an extension of propositional linear temporal logic (LTL) in which variables are introduced to measure times between two events. For example, while LTL allows to state that each event p is eventually followed by an event q, TPTL furthermore allows to give a time limit for q to occur.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Timed_propositional_temporal_logic
date created:
date modified:
2023-10-30T20:24:38Z
main entity:
{"identifier":"Q65084772","url":"https://www.wikidata.org/entity/Q65084772"}
image:
fields total:
13
integrity:
13