33:
315:
258:
119:
reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences.
62:
356:
299:
84:
349:
385:
45:
342:
140:
55:
49:
41:
221:
66:
292:
191:
375:
128:
199:
195:
380:
144:
160:
285:
164:
109:
180:
211:
168:
113:
326:
269:
184:
124:
322:
216:
105:
369:
136:
135:. First-order interval temporal logic was initially developed in the 1980s for the
132:
17:
314:
257:
172:
175:
for computer-based systems. Tools are available to aid in this process.
265:
116:
241:
187:
is a significant issue and consideration in the design of ITL.
26:
330:
273:
190:Notable derivatives of interval temporal logic are
54:but its sources remain unclear because it lacks
350:
293:
123:Interval temporal logics find application in
8:
167:. It is useful in the formal description of
357:
343:
300:
286:
85:Learn how and when to remove this message
233:
7:
311:
309:
254:
252:
329:. You can help Knowledge (XXG) by
272:. You can help Knowledge (XXG) by
25:
313:
256:
31:
1:
402:
308:
251:
159:, originally developed by
242:"Interval Temporal Logic"
222:Temporal logic of actions
192:graphical interval logic
155:) is a specific form of
40:This article includes a
149:Interval temporal logic
129:artificial intelligence
98:Interval temporal logic
69:more precise citations.
325:-related article is a
268:-related article is a
108:for representing both
200:future interval logic
196:signed interval logic
386:Formal methods stubs
165:Stanford University
163:for his thesis at
42:list of references
338:
337:
281:
280:
212:Duration calculus
95:
94:
87:
16:(Redirected from
393:
359:
352:
345:
317:
310:
302:
295:
288:
260:
253:
246:
245:
238:
185:Compositionality
125:computer science
90:
83:
79:
76:
70:
65:this article by
56:inline citations
35:
34:
27:
21:
401:
400:
396:
395:
394:
392:
391:
390:
366:
365:
364:
363:
307:
306:
250:
249:
240:
239:
235:
230:
208:
183:ITL framework.
91:
80:
74:
71:
60:
46:related reading
36:
32:
23:
22:
15:
12:
11:
5:
399:
397:
389:
388:
383:
378:
376:Temporal logic
368:
367:
362:
361:
354:
347:
339:
336:
335:
323:formal methods
318:
305:
304:
297:
290:
282:
279:
278:
261:
248:
247:
232:
231:
229:
226:
225:
224:
219:
217:Formal methods
214:
207:
204:
161:Ben Moszkowski
157:temporal logic
106:temporal logic
102:interval logic
93:
92:
50:external links
39:
37:
30:
24:
18:Interval logic
14:
13:
10:
9:
6:
4:
3:
2:
398:
387:
384:
382:
379:
377:
374:
373:
371:
360:
355:
353:
348:
346:
341:
340:
334:
332:
328:
324:
319:
316:
312:
303:
298:
296:
291:
289:
284:
283:
277:
275:
271:
267:
262:
259:
255:
243:
237:
234:
227:
223:
220:
218:
215:
213:
210:
209:
205:
203:
201:
197:
193:
188:
186:
182:
178:
174:
170:
166:
162:
158:
154:
150:
146:
142:
138:
137:specification
134:
130:
126:
121:
118:
115:
111:
110:propositional
107:
103:
99:
89:
86:
78:
68:
64:
58:
57:
51:
47:
43:
38:
29:
28:
19:
331:expanding it
320:
274:expanding it
263:
236:
189:
179:provides an
176:
156:
152:
148:
143:of hardware
141:verification
122:
101:
97:
96:
81:
75:January 2011
72:
61:Please help
53:
381:Logic stubs
133:linguistics
114:first-order
67:introducing
370:Categories
228:References
181:executable
145:protocols
206:See also
173:software
169:hardware
177:Tempura
117:logical
104:) is a
63:improve
100:(also
321:This
266:logic
264:This
48:, or
327:stub
270:stub
198:and
171:and
139:and
131:and
112:and
153:ITL
372::
202:.
194:,
147:.
127:,
52:,
44:,
358:e
351:t
344:v
333:.
301:e
294:t
287:v
276:.
244:.
151:(
88:)
82:(
77:)
73:(
59:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.