519:
248:
1029:
536:
111:
530:
75:
484:
423:
938:
1049:
722:
1054:
768:
673:
560:
751:
987:
893:
741:
707:
668:
965:
898:
690:
131:
1044:
98:
837:
790:
780:
656:
362:
332:
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:
614:
117:
17:
918:
849:
822:
602:
580:
575:
443:
345:
56:
950:
928:
406:
299:
970:
827:
785:
624:
319:
92:
1019:
960:
923:
876:
807:
651:
646:
460:
386:
286:
262:
8:
982:
634:
565:
504:
22:
933:
913:
712:
30:
26:
866:
763:
746:
717:
83:
52:
908:
903:
832:
735:
136:
42:
34:
464:
508:
481:
447:
427:
420:
390:
366:
349:
336:
303:
266:
410:
323:
861:
619:
597:
548:
290:
121:
102:
488:
1038:
812:
145:
1000:
817:
802:
685:
570:
71:
629:
585:
79:
67:
888:
702:
871:
48:
359:
245:
This category has the following 14 subcategories, out of 20 total.
41:
Those investigations into logic that are guided by applications in
1013:
529:
The following 69 pages are in this category, out of 101 total.
457:
383:
283:
955:
95:
that cast light on questions of pure logic. For example:
91:
Applications of fundamental concepts derived from the
1036:
29:which is approximately the intersection between
138:
526:Pages in category "Logic in computer science"
76:Formal semantics of programming languages
531:This list may not reflect recent changes
1037:
939:Symposium on Logic in Computer Science
240:
723:Logical Methods in Computer Science
13:
540:
252:
239:
110:Tools for logicians considered as
14:
1066:
769:Normal form (abstract rewriting)
674:Journal of Logic and Computation
561:Fluent (artificial intelligence)
752:Multi-Agent Programming Contest
988:Unification (computer science)
894:Satisfiability modulo theories
742:Maximum satisfiability problem
708:Logic for Computable Functions
669:Journal of Automated Reasoning
485:Unification (computer science)
424:Programming language semantics
1:
966:Type-2 fuzzy sets and systems
1050:Theoretical computer science
899:Semantics (computer science)
691:Knowledge Interchange Format
524:
132:Category:Finite model theory
7:
99:Curry-Howard correspondence
10:
1071:
838:Propositional proof system
791:Ordered weighted averaging
781:OBJ (programming language)
657:Intuitionistic type theory
129:
118:Automated theorem proving
18:Logic in computer science
1055:Mathematics of computing
112:applied computer science
919:State space enumeration
850:Q0 (mathematical logic)
823:Preferential entailment
603:Geometry of interaction
581:Functional verification
576:Functional completeness
57:Abstract interpretation
951:Tseytin transformation
929:Stuttering equivalence
971:Typed lambda calculus
828:Presburger arithmetic
786:Operational semantics
625:HOL (proof assistant)
615:Hennessy–Milner logic
93:theory of computation
1020:Weakest precondition
961:Type-1 OWA operators
924:Structural induction
877:Runtime verification
808:Perceptual computing
652:Intuitionistic logic
647:Interference freedom
25:) is that branch of
983:Undecidable problem
635:Horn-satisfiability
566:Formal verification
23:computational logic
1045:Mathematical logic
934:Successor function
914:Star-free language
713:Logic optimization
31:mathematical logic
27:mathematical logic
867:Racetrack problem
764:Noise-based logic
747:Model elimination
718:Logical framework
363:Logic programming
333:Logic conferences
84:Logic programming
53:Combinatory logic
1062:
1022:
1003:
909:Sequential logic
904:Separation logic
833:Proof complexity
738:
736:Marquand diagram
510:
490:
483:
466:
459:
449:
429:
422:
412:
392:
385:
368:
361:
351:
338:
325:
305:
292:
285:
268:
114:. For example:
45:. For example:
43:computer science
37:. It contains:
35:computer science
1070:
1069:
1065:
1064:
1063:
1061:
1060:
1059:
1035:
1034:
1033:
1027:
1026:
1025:
1018:
1006:
999:
992:
975:
943:
881:
854:
842:
795:
773:
756:
734:
727:
695:
678:
661:
639:
607:
590:
553:
523:
517:
516:
515:
512:
511:
495:
492:
491:
480:
471:
468:
467:
456:
451:
450:
434:
431:
430:
419:
414:
413:
397:
394:
393:
382:
373:
370:
369:
358:
353:
352:
340:
339:
327:
326:
310:
307:
306:
294:
293:
282:
273:
270:
269:
238:
237:
236:
235:
141:
134:
12:
11:
5:
1068:
1058:
1057:
1052:
1047:
1032:) (next page)
1024:
1023:
1016:
1010:
1007:
1005:
1004:
996:
993:
991:
990:
985:
979:
976:
974:
973:
968:
963:
958:
953:
947:
944:
942:
941:
936:
931:
926:
921:
916:
911:
906:
901:
896:
891:
885:
882:
880:
879:
874:
869:
864:
862:Race condition
858:
855:
853:
852:
846:
843:
841:
840:
835:
830:
825:
820:
815:
810:
805:
799:
796:
794:
793:
788:
783:
777:
774:
772:
771:
766:
760:
757:
755:
754:
749:
744:
739:
731:
728:
726:
725:
720:
715:
710:
705:
699:
696:
694:
693:
688:
682:
679:
677:
676:
671:
665:
662:
660:
659:
654:
649:
643:
640:
638:
637:
632:
627:
622:
620:Herbrand Award
617:
611:
608:
606:
605:
600:
598:Game semantics
594:
591:
589:
588:
583:
578:
573:
568:
563:
557:
554:
552:
551:
549:Event calculus
545:
542:
541:
527:
522:) (next page)
514:
513:
503:
502:
499:
496:
494:
493:
479:
478:
475:
472:
470:
469:
455:
454:
452:
444:Temporal logic
442:
441:
438:
435:
433:
432:
418:
417:
415:
405:
404:
401:
398:
396:
395:
381:
380:
377:
374:
372:
371:
357:
356:
354:
346:Logic families
344:
343:
341:
331:
330:
328:
318:
317:
314:
311:
309:
308:
298:
297:
295:
281:
280:
277:
274:
272:
271:
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:
1067:
1056:
1053:
1051:
1048:
1046:
1043:
1042:
1040:
1031:
1030:previous page
1021:
1017:
1015:
1012:
1011:
1008:
1002:
998:
997:
994:
989:
986:
984:
981:
980:
977:
972:
969:
967:
964:
962:
959:
957:
954:
952:
949:
948:
945:
940:
937:
935:
932:
930:
927:
925:
922:
920:
917:
915:
912:
910:
907:
905:
902:
900:
897:
895:
892:
890:
887:
886:
883:
878:
875:
873:
870:
868:
865:
863:
860:
859:
856:
851:
848:
847:
844:
839:
836:
834:
831:
829:
826:
824:
821:
819:
816:
814:
813:Postcondition
811:
809:
806:
804:
801:
800:
797:
792:
789:
787:
784:
782:
779:
778:
775:
770:
767:
765:
762:
761:
758:
753:
750:
748:
745:
743:
740:
737:
733:
732:
729:
724:
721:
719:
716:
714:
711:
709:
706:
704:
701:
700:
697:
692:
689:
687:
684:
683:
680:
675:
672:
670:
667:
666:
663:
658:
655:
653:
650:
648:
645:
644:
641:
636:
633:
631:
628:
626:
623:
621:
618:
616:
613:
612:
609:
604:
601:
599:
596:
595:
592:
587:
584:
582:
579:
577:
574:
572:
569:
567:
564:
562:
559:
558:
555:
550:
547:
546:
543:
539:) (next page)
538:
537:previous page
534:
532:
525:
521:
520:previous page
506:
501:
500:
497:
486:
482:
477:
476:
473:
462:
458:
453:
445:
440:
439:
436:
425:
421:
416:
408:
407:Program logic
403:
402:
399:
388:
384:
379:
378:
375:
364:
360:
355:
347:
342:
334:
329:
321:
316:
315:
312:
301:
300:Quantum gates
296:
288:
284:
279:
278:
275:
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:
1001:Veitch chart
818:Precondition
803:Peano axioms
686:Karnaugh map
571:Frege system
528:
465:(4 C, 113 P)
320:Linear logic
244:
72:type systems
16:
15:
630:Horn clause
586:Fuzzy logic
461:Type theory
428:(3 C, 17 P)
391:(6 C, 50 P)
387:Modal logic
367:(6 C, 53 P)
291:(1 C, 47 P)
287:Logic gates
263:Fuzzy logic
80:Hoare logic
68:Type theory
1039:Categories
889:SAT solver
505:Z notation
489:(1 C, 7 P)
130:See also:
872:Rewriting
139:Contents
70:(used in
51:systems,
49:Rewriting
1014:WalkSAT
703:ΛProlog
509:(19 P)
448:(17 P)
350:(39 P)
337:(11 P)
304:(12 P)
267:(63 P)
82:, and
956:Twelf
411:(4 P)
324:(2 P)
120:and
101:and
55:and
33:and
21:(or
151:0–9
146:Top
74:),
1041::
533:.
507:
487:
463:
446:
426:
409:
389:
365:
348:
335:
322:
302:
289:
265:
78:,
1028:(
1009:W
995:V
978:U
946:T
884:S
857:R
845:Q
798:P
776:O
759:N
730:M
698:L
681:K
664:J
642:I
610:H
593:G
556:F
544:E
535:(
518:(
498:Z
474:U
437:T
400:P
376:M
313:L
276:G
256:F
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.