An on-the-fly tableau construction for a real-time temporal logic
An on-the-fly tableau construction for a real-time temporal logic
An on-the-fly tableau construction for a real-time temporal logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
4. Real-<strong>time</strong> On-<strong>the</strong>-<strong>fly</strong> Tableaux<br />
TS 1<br />
TS 2<br />
TS 3<br />
singular<br />
¢<br />
¢<br />
¢<br />
£<br />
£<br />
£<br />
1<br />
1<br />
2<br />
2<br />
k<br />
k<br />
TS a<br />
TS b<br />
§ ¨©<br />
open<br />
¢<br />
¡<br />
¢<br />
£<br />
£<br />
¢¥¤<br />
£¦¤<br />
2<br />
a<br />
a<br />
b<br />
b<br />
singular<br />
A 28<br />
¡<br />
b