601:
248:
1242:
618:
111:
612:
75:
566:
505:
1151:
1262:
729:
935:
1267:
981:
886:
773:
964:
712:
324:
1200:
1106:
954:
920:
881:
650:
1178:
739:
1111:
903:
131:
1257:
749:
98:
1050:
1003:
993:
869:
444:
414:
300:
283:
230:
227:
224:
221:
218:
215:
212:
209:
206:
203:
200:
197:
194:
191:
188:
185:
182:
179:
176:
173:
170:
167:
164:
161:
158:
155:
150:
64:
Fundamental concepts in computer science that are naturally expressible in logical form. For example:
827:
117:
17:
744:
266:
1131:
1062:
1035:
815:
793:
788:
525:
427:
56:
1163:
1141:
734:
697:
488:
381:
1183:
1040:
998:
837:
401:
92:
1232:
1173:
1136:
1089:
1020:
864:
859:
542:
468:
368:
344:
8:
1195:
847:
778:
702:
692:
672:
586:
22:
655:
1146:
1126:
925:
30:
26:
1079:
976:
959:
930:
677:
630:
83:
52:
1121:
1116:
1045:
948:
136:
42:
34:
546:
640:
590:
563:
529:
509:
502:
472:
448:
431:
418:
385:
348:
270:
492:
405:
1074:
832:
810:
761:
372:
121:
102:
570:
328:
304:
287:
1251:
1025:
660:
145:
1213:
1030:
1015:
898:
783:
682:
645:
635:
71:
842:
798:
321:
79:
67:
1101:
915:
1084:
48:
441:
297:
280:
724:
687:
245:
This category has the following 18 subcategories, out of 20 total.
41:
Those investigations into logic that are guided by applications in
263:
1226:
611:
The following 91 pages are in this category, out of 101 total.
539:
465:
365:
1168:
707:
95:
that cast light on questions of pure logic. For example:
91:
Applications of fundamental concepts derived from the
1249:
29:which is approximately the intersection between
138:
608:Pages in category "Logic in computer science"
76:Formal semantics of programming languages
613:This list may not reflect recent changes
1250:
1152:Symposium on Logic in Computer Science
730:Decidable sublanguages of set theory
240:
936:Logical Methods in Computer Science
13:
622:
252:
239:
110:Tools for logicians considered as
14:
1279:
982:Normal form (abstract rewriting)
887:Journal of Logic and Computation
774:Fluent (artificial intelligence)
965:Multi-Agent Programming Contest
1201:Unification (computer science)
1107:Satisfiability modulo theories
955:Maximum satisfiability problem
921:Logic for Computable Functions
882:Journal of Automated Reasoning
651:Boolean satisfiability problem
567:Unification (computer science)
506:Programming language semantics
1:
1179:Type-2 fuzzy sets and systems
1263:Theoretical computer science
1112:Semantics (computer science)
904:Knowledge Interchange Format
606:
132:Category:Finite model theory
7:
750:Dynamic logic (modal logic)
713:Curry–Howard correspondence
99:Curry-Howard correspondence
10:
1284:
1051:Propositional proof system
1004:Ordered weighted averaging
994:OBJ (programming language)
870:Intuitionistic type theory
745:DiVincenzo's criteria
129:
740:Dershowitz–Manna ordering
118:Automated theorem proving
18:Logic in computer science
1268:Mathematics of computing
112:applied computer science
1132:State space enumeration
1063:Q0 (mathematical logic)
1036:Preferential entailment
816:Geometry of interaction
794:Functional verification
789:Functional completeness
57:Abstract interpretation
1164:Tseytin transformation
1142:Stuttering equivalence
735:Denotational semantics
698:Computation tree logic
325:Denotational semantics
1184:Typed lambda calculus
1041:Presburger arithmetic
999:Operational semantics
838:HOL (proof assistant)
828:Hennessy–Milner logic
93:theory of computation
1233:Weakest precondition
1174:Type-1 OWA operators
1137:Structural induction
1090:Runtime verification
1021:Perceptual computing
865:Intuitionistic logic
860:Interference freedom
25:) is that branch of
1196:Undecidable problem
848:Horn-satisfiability
779:Formal verification
703:Computational logic
693:Computability logic
673:Combinational logic
23:computational logic
1258:Mathematical logic
1147:Successor function
1127:Star-free language
926:Logic optimization
31:mathematical logic
27:mathematical logic
1080:Racetrack problem
977:Noise-based logic
960:Model elimination
931:Logical framework
678:Combinatory logic
631:Backward chaining
445:Logic programming
415:Logic conferences
301:Combinatory logic
284:Categorical logic
84:Logic programming
53:Combinatory logic
1275:
1235:
1216:
1122:Sequential logic
1117:Separation logic
1046:Proof complexity
951:
949:Marquand diagram
656:Büchi arithmetic
592:
572:
565:
548:
541:
531:
511:
504:
494:
474:
467:
450:
443:
433:
420:
407:
387:
374:
367:
350:
330:
323:
306:
299:
289:
282:
272:
265:
114:. For example:
45:. For example:
43:computer science
37:. It contains:
35:computer science
1283:
1282:
1278:
1277:
1276:
1274:
1273:
1272:
1248:
1247:
1246:
1240:
1239:
1238:
1231:
1219:
1212:
1205:
1188:
1156:
1094:
1067:
1055:
1008:
986:
969:
947:
940:
908:
891:
874:
852:
820:
803:
766:
754:
717:
665:
641:Boolean circuit
605:
599:
598:
597:
594:
593:
577:
574:
573:
562:
553:
550:
549:
538:
533:
532:
516:
513:
512:
501:
496:
495:
479:
476:
475:
464:
455:
452:
451:
440:
435:
434:
422:
421:
409:
408:
392:
389:
388:
376:
375:
364:
355:
352:
351:
335:
332:
331:
320:
311:
308:
307:
296:
291:
290:
279:
274:
273:
267:Logical calculi
262:
238:
237:
236:
235:
141:
134:
12:
11:
5:
1281:
1271:
1270:
1265:
1260:
1245:) (next page)
1237:
1236:
1229:
1223:
1220:
1218:
1217:
1209:
1206:
1204:
1203:
1198:
1192:
1189:
1187:
1186:
1181:
1176:
1171:
1166:
1160:
1157:
1155:
1154:
1149:
1144:
1139:
1134:
1129:
1124:
1119:
1114:
1109:
1104:
1098:
1095:
1093:
1092:
1087:
1082:
1077:
1075:Race condition
1071:
1068:
1066:
1065:
1059:
1056:
1054:
1053:
1048:
1043:
1038:
1033:
1028:
1023:
1018:
1012:
1009:
1007:
1006:
1001:
996:
990:
987:
985:
984:
979:
973:
970:
968:
967:
962:
957:
952:
944:
941:
939:
938:
933:
928:
923:
918:
912:
909:
907:
906:
901:
895:
892:
890:
889:
884:
878:
875:
873:
872:
867:
862:
856:
853:
851:
850:
845:
840:
835:
833:Herbrand Award
830:
824:
821:
819:
818:
813:
811:Game semantics
807:
804:
802:
801:
796:
791:
786:
781:
776:
770:
767:
765:
764:
762:Event calculus
758:
755:
753:
752:
747:
742:
737:
732:
727:
721:
718:
716:
715:
710:
705:
700:
695:
690:
685:
680:
675:
669:
666:
664:
663:
658:
653:
648:
643:
638:
633:
627:
624:
623:
609:
604:) (next page)
596:
595:
585:
584:
581:
578:
576:
575:
561:
560:
557:
554:
552:
551:
537:
536:
534:
526:Temporal logic
524:
523:
520:
517:
515:
514:
500:
499:
497:
487:
486:
483:
480:
478:
477:
463:
462:
459:
456:
454:
453:
439:
438:
436:
428:Logic families
426:
425:
423:
413:
412:
410:
400:
399:
396:
393:
391:
390:
380:
379:
377:
363:
362:
359:
356:
354:
353:
343:
342:
339:
336:
334:
333:
319:
318:
315:
312:
310:
309:
295:
294:
292:
278:
277:
275:
261:
260:
257:
254:
253:
243:
234:
233:
153:
148:
142:
140:
137:
135:
128:
127:
126:
125:
122:Model checking
108:
107:
106:
103:Game semantics
89:
88:
87:
62:
61:
60:
9:
6:
4:
3:
2:
1280:
1269:
1266:
1264:
1261:
1259:
1256:
1255:
1253:
1244:
1243:previous page
1234:
1230:
1228:
1225:
1224:
1221:
1215:
1211:
1210:
1207:
1202:
1199:
1197:
1194:
1193:
1190:
1185:
1182:
1180:
1177:
1175:
1172:
1170:
1167:
1165:
1162:
1161:
1158:
1153:
1150:
1148:
1145:
1143:
1140:
1138:
1135:
1133:
1130:
1128:
1125:
1123:
1120:
1118:
1115:
1113:
1110:
1108:
1105:
1103:
1100:
1099:
1096:
1091:
1088:
1086:
1083:
1081:
1078:
1076:
1073:
1072:
1069:
1064:
1061:
1060:
1057:
1052:
1049:
1047:
1044:
1042:
1039:
1037:
1034:
1032:
1029:
1027:
1026:Postcondition
1024:
1022:
1019:
1017:
1014:
1013:
1010:
1005:
1002:
1000:
997:
995:
992:
991:
988:
983:
980:
978:
975:
974:
971:
966:
963:
961:
958:
956:
953:
950:
946:
945:
942:
937:
934:
932:
929:
927:
924:
922:
919:
917:
914:
913:
910:
905:
902:
900:
897:
896:
893:
888:
885:
883:
880:
879:
876:
871:
868:
866:
863:
861:
858:
857:
854:
849:
846:
844:
841:
839:
836:
834:
831:
829:
826:
825:
822:
817:
814:
812:
809:
808:
805:
800:
797:
795:
792:
790:
787:
785:
782:
780:
777:
775:
772:
771:
768:
763:
760:
759:
756:
751:
748:
746:
743:
741:
738:
736:
733:
731:
728:
726:
723:
722:
719:
714:
711:
709:
706:
704:
701:
699:
696:
694:
691:
689:
686:
684:
681:
679:
676:
674:
671:
670:
667:
662:
661:Bunched logic
659:
657:
654:
652:
649:
647:
644:
642:
639:
637:
634:
632:
629:
628:
625:
621:) (next page)
620:
619:previous page
616:
614:
607:
603:
602:previous page
588:
583:
582:
579:
568:
564:
559:
558:
555:
544:
540:
535:
527:
522:
521:
518:
507:
503:
498:
490:
489:Program logic
485:
484:
481:
470:
466:
461:
460:
457:
446:
442:
437:
429:
424:
416:
411:
403:
398:
397:
394:
383:
382:Quantum gates
378:
370:
366:
361:
360:
357:
346:
341:
340:
337:
326:
322:
317:
316:
313:
302:
298:
293:
285:
281:
276:
268:
264:
259:
258:
255:
251:) (next page)
250:
249:previous page
246:
242:Subcategories
241:
232:
229:
226:
223:
220:
217:
214:
211:
208:
205:
202:
199:
196:
193:
190:
187:
184:
181:
178:
175:
172:
169:
166:
163:
160:
157:
154:
152:
149:
147:
144:
143:
133:
123:
119:
116:
115:
113:
109:
104:
100:
97:
96:
94:
90:
85:
81:
77:
73:
69:
66:
65:
63:
58:
54:
50:
47:
46:
44:
40:
39:
38:
36:
32:
28:
24:
20:
19:
1214:Veitch chart
1031:Precondition
1016:Peano axioms
899:Karnaugh map
784:Frege system
683:Combs method
646:Boolean flag
636:Bisimulation
610:
547:(4 C, 113 P)
402:Linear logic
244:
72:type systems
16:
15:
843:Horn clause
799:Fuzzy logic
543:Type theory
510:(3 C, 17 P)
473:(6 C, 50 P)
469:Modal logic
449:(6 C, 53 P)
373:(1 C, 47 P)
369:Logic gates
345:Fuzzy logic
271:(4 C, 34 P)
80:Hoare logic
68:Type theory
1252:Categories
1102:SAT solver
587:Z notation
571:(1 C, 7 P)
329:(1 C, 7 P)
305:(1 C, 9 P)
288:(1 C, 7 P)
130:See also:
1085:Rewriting
139:Contents
70:(used in
51:systems,
49:Rewriting
725:DatalogZ
688:CompCert
1227:WalkSAT
916:ΛProlog
591:(19 P)
530:(17 P)
432:(39 P)
419:(11 P)
386:(12 P)
349:(63 P)
82:, and
1169:Twelf
493:(4 P)
406:(2 P)
708:CTL*
120:and
101:and
55:and
33:and
21:(or
151:0–9
146:Top
74:),
1254::
615:.
589:
569:
545:
528:
508:
491:
471:
447:
430:
417:
404:
384:
371:
347:
327:
303:
286:
269:
78:,
1241:(
1222:W
1208:V
1191:U
1159:T
1097:S
1070:R
1058:Q
1011:P
989:O
972:N
943:M
911:L
894:K
877:J
855:I
823:H
806:G
769:F
757:E
720:D
668:C
626:B
617:(
600:(
580:Z
556:U
519:T
482:P
458:M
395:L
358:G
338:F
314:D
256:C
247:(
231:Z
228:Y
225:X
222:W
219:V
216:U
213:T
210:S
207:R
204:Q
201:P
198:O
195:N
192:M
189:L
186:K
183:J
180:I
177:H
174:G
171:F
168:E
165:D
162:C
159:B
156:A
124:.
105:;
86:;
59:;
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.