154:
231:
226:
236:
207:
137:
60:
173:
113:
101:
251:
36:
160:
202:
246:
125:
72:
178:
149:
241:
190:
89:
17:
48:
22:
220:
77:
35:
The following 17 pages are in this category, out of 17 total.
8:
155:Linear temporal logic to Büchi automaton
37:This list may not reflect recent changes
7:
208:Timed propositional temporal logic
41:
32:Pages in category "Temporal logic"
29:
14:
138:Kripke structure (model checking)
114:Gabbay's separation theorem
61:Alternating-time temporal logic
232:Formal specification languages
227:Concurrency (computer science)
174:Metric interval temporal logic
1:
102:Fair computational tree logic
268:
161:Linear-time temporal logic
16:The main article for this
15:
237:Logic in computer science
203:Temporal logic of actions
126:Interval temporal logic
73:Computation tree logic
179:Metric temporal logic
150:Linear temporal logic
252:Philosophical logic
191:Probabilistic CTL
90:Duration calculus
259:
163:
267:
266:
262:
261:
260:
258:
257:
256:
217:
216:
215:
214:
213:
212:
195:
183:
166:
159:
142:
130:
118:
106:
94:
82:
65:
53:
28:
27:
12:
11:
5:
265:
263:
255:
254:
249:
247:Model checking
244:
239:
234:
229:
219:
218:
211:
210:
205:
199:
196:
194:
193:
187:
184:
182:
181:
176:
170:
167:
165:
164:
157:
152:
146:
143:
141:
140:
134:
131:
129:
128:
122:
119:
117:
116:
110:
107:
105:
104:
98:
95:
93:
92:
86:
83:
81:
80:
75:
69:
66:
64:
63:
57:
54:
52:
51:
49:Temporal logic
45:
43:
42:
33:
30:
23:Temporal logic
13:
10:
9:
6:
4:
3:
2:
264:
253:
250:
248:
245:
243:
240:
238:
235:
233:
230:
228:
225:
224:
222:
209:
206:
204:
201:
200:
197:
192:
189:
188:
185:
180:
177:
175:
172:
171:
168:
162:
158:
156:
153:
151:
148:
147:
144:
139:
136:
135:
132:
127:
124:
123:
120:
115:
112:
111:
108:
103:
100:
99:
96:
91:
88:
87:
84:
79:
76:
74:
71:
70:
67:
62:
59:
58:
55:
50:
47:
46:
44:
40:
38:
31:
25:
24:
19:
34:
21:
242:Modal logic
221:Categories
18:category
78:CTL*
20:is
223::
39:.
198:T
186:P
169:M
145:L
133:K
121:I
109:G
97:F
85:D
68:C
56:A
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.