165:
258:
187:
591:
331:
472:
596:
581:
586:
280:
394:
124:
348:
314:
91:
71:
526:
144:
111:
433:
428:
47:
467:
423:
292:
243:
177:
516:
8:
511:
489:
389:
562:
538:
521:
438:
406:
506:
477:
501:
411:
377:
365:
204:
550:
253:
231:
199:
148:
115:
95:
17:
128:
51:
462:
450:
248:
226:
75:
575:
336:
326:
309:
270:
209:
353:
275:
182:
22:
214:
68:
297:
35:
This category has the following 6 subcategories, out of 6 total.
164:
The following 50 pages are in this category, out of 50 total.
573:
259:Counterexample-guided abstraction refinement
188:Simplification of disjunctive antecedents
166:This list may not reflect recent changes
574:
30:
13:
170:
37:
29:
14:
608:
161:Pages in category "Modal logic"
332:Gödel's ontological proof
1:
473:Problem of future contingents
159:
7:
281:Dynamic logic (modal logic)
10:
613:
395:Logico-linguistic modeling
16:The main article for this
15:
592:Logic in computer science
527:Subjunctive possibility
434:Non-normal modal logic
429:Neighborhood semantics
468:Predicate abstraction
424:Necessity of identity
349:Hennessy–Milner logic
315:Frege–Church ontology
293:Epistemic modal logic
244:Classical modal logic
178:Free choice inference
517:Standard translation
597:Linguistic modality
582:Non-classical logic
512:Modal scope fallacy
490:Regular modal logic
390:Logical possibility
587:Mathematical logic
539:Two-dimensionalism
522:Strict conditional
439:Normal modal logic
407:Modal clausal form
507:Sahlqvist formula
478:Provability logic
125:Provability logic
604:
563:Modal μ-calculus
502:S5 (modal logic)
412:Multimodal logic
378:Kripke semantics
366:Interior algebra
205:Alethic modality
150:
130:
117:
97:
77:
70:
53:
612:
611:
607:
606:
605:
603:
602:
601:
572:
571:
570:
569:
568:
567:
555:
551:Window operator
543:
531:
494:
482:
455:
443:
416:
399:
382:
370:
358:
341:
319:
302:
285:
263:
254:Modal companion
236:
232:Buridan formula
219:
200:Admissible rule
192:
158:
157:
156:
155:
152:
151:
135:
132:
131:
119:
118:
102:
99:
98:
92:Modal logicians
82:
79:
78:
72:Epistemic logic
67:
58:
55:
54:
28:
27:
12:
11:
5:
610:
600:
599:
594:
589:
584:
566:
565:
559:
556:
554:
553:
547:
544:
542:
541:
535:
532:
530:
529:
524:
519:
514:
509:
504:
498:
495:
493:
492:
486:
483:
481:
480:
475:
470:
465:
463:Possible world
459:
456:
454:
453:
451:Modal operator
447:
444:
442:
441:
436:
431:
426:
420:
417:
415:
414:
409:
403:
400:
398:
397:
392:
386:
383:
381:
380:
374:
371:
369:
368:
362:
359:
357:
356:
351:
345:
342:
340:
339:
334:
329:
323:
320:
318:
317:
312:
306:
303:
301:
300:
295:
289:
286:
284:
283:
278:
273:
267:
264:
262:
261:
256:
251:
249:Modal collapse
246:
240:
237:
235:
234:
229:
227:Barcan formula
223:
220:
218:
217:
212:
207:
202:
196:
193:
191:
190:
185:
180:
174:
172:
171:
162:
154:
153:
145:Temporal logic
143:
142:
139:
136:
134:
133:
123:
122:
120:
112:Possible world
110:
109:
106:
103:
101:
100:
90:
89:
86:
83:
81:
80:
66:
65:
62:
59:
57:
56:
46:
45:
42:
39:
38:
33:
9:
6:
4:
3:
2:
609:
598:
595:
593:
590:
588:
585:
583:
580:
579:
577:
564:
561:
560:
557:
552:
549:
548:
545:
540:
537:
536:
533:
528:
525:
523:
520:
518:
515:
513:
510:
508:
505:
503:
500:
499:
496:
491:
488:
487:
484:
479:
476:
474:
471:
469:
466:
464:
461:
460:
457:
452:
449:
448:
445:
440:
437:
435:
432:
430:
427:
425:
422:
421:
418:
413:
410:
408:
405:
404:
401:
396:
393:
391:
388:
387:
384:
379:
376:
375:
372:
367:
364:
363:
360:
355:
352:
350:
347:
346:
343:
338:
337:Guarded logic
335:
333:
330:
328:
327:General frame
325:
324:
321:
316:
313:
311:
310:Modal fallacy
308:
307:
304:
299:
296:
294:
291:
290:
287:
282:
279:
277:
274:
272:
271:Deontic logic
269:
268:
265:
260:
257:
255:
252:
250:
247:
245:
242:
241:
238:
233:
230:
228:
225:
224:
221:
216:
213:
211:
210:Modal algebra
208:
206:
203:
201:
198:
197:
194:
189:
186:
184:
181:
179:
176:
175:
173:
169:
167:
160:
146:
141:
140:
137:
126:
121:
113:
108:
107:
104:
93:
88:
87:
84:
73:
69:
64:
63:
60:
49:
48:Deontic logic
44:
43:
40:
36:
32:Subcategories
31:
25:
24:
19:
354:Hybrid logic
163:
34:
21:
276:Modal depth
183:Modal logic
76:(1 C, 12 P)
23:Modal logic
576:Categories
215:Assertoric
18:category
298:Essence
149:(17 P)
116:(12 P)
96:(13 P)
129:(6 P)
52:(8 P)
20:is
578::
168:.
147:
127:
114:
94:
74:
50:
558:Μ
546:W
534:T
497:S
485:R
458:P
446:O
419:N
402:M
385:L
373:K
361:I
344:H
322:G
305:F
288:E
266:D
239:C
222:B
195:A
138:T
105:P
85:M
61:E
41:D
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.