# Logic in computer science: Trending topics

The following are the current most viewed articles on Wikipedia within Wikipedia's Logic in computer science category. Think of it as a What's Hot list for Logic in computer science. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 Fuzzy logic 2,741
2 Karnaugh map 1,843
3 Race condition 1,098
4 Boolean satisfiability problem 614
5 Peano axioms 524
6 Assertion (computing) 416
7 Combinational logic 396
8 Formal verification 342
9 Intuitionistic logic 271
10 Model checking 254
11 Combinatory logic 240
12 Hoare logic 225
13 Formal semantics of programming languages 217
14 Curry–Howard correspondence 201
15 Undecidable problem 178
16 Denotational semantics 177
17 Backward chaining 169
18 Horn clause 152
19 Automated reasoning 151
20 Precondition 142
21 Typed lambda calculus 141
22 Forward chaining 137
23 Abstract interpretation 135
24 Rewriting 134
25 Logic in computer science 130
26 Operational semantics 121
27 Linear temporal logic 119
28 Intuitionistic type theory 101
29 Presburger arithmetic 96
30 Satisfiability Modulo Theories 91
31 Functional completeness 91
32 Bisimulation 87
33 Axiomatic semantics 84
34 Kripke structure 80
35 Computation tree logic 76
36 Structural induction 74
37 Postcondition 65
38 Boolean circuit 60
39 Topological computing 58
40 Type-2 fuzzy sets and systems 52
41 Game semantics 49
42 HOL theorem prover family 47
43 Horn-satisfiability 46
44 Predicate transformer semantics 45
45 Dynamic logic (modal logic) 43
46 Event calculus 42
47 LCF (theorem prover) 39
48 Maximum satisfiability problem 39
49 Star-free language 39
50 Circuit minimization 39
51 LF (logical framework) 38
52 Normalization property (abstract rewriting) 36
53 Partial order reduction 33
54 Algebraic semantics 31
55 Perceptual Computing 25
56 Proof complexity 22
57 Computability logic 21
58 Duration calculus 21
59 CTL* 21
60 WalkSAT 20
61 Abstract rewriting system 20
62 Runtime verification 19
63 Compcert 19
64 Probabilistic CTL 18
65 ΛProlog 17
66 Hennessy-Milner logic 17
67 Truth bit 16
68 Ordered Weighted Averaging (OWA) Aggregation Operators 15
69 Twelf 14
70 Herbrand Award 14
71 Model elimination 14
72 Separation logic 14
73 Journal of Logic and Computation 13
74 OBJ 12
75 Geometry of interaction 12
76 Logical Methods in Computer Science 9
77 Fluent (artificial intelligence) 8
78 Alternating-time Temporal Logic 7
79 Bunched logic 6
80 IEEE Symposium on Logic in Computer Science 6
81 Fair Computational tree logic 6
82 Stuttering equivalence less than 5 views
83 Abstraction model checking less than 5 views
84 Preferential entailment less than 5 views
85 Decidable sublanguages of set theory less than 5 views
86 Racetrack problem less than 5 views
87 State space enumeration less than 5 views
88 Journal of Automated Reasoning less than 5 views

# Encyclopedia

Updated live from Wikipedia, last check: May 15, 2013 22:32 UTC (47 seconds ago)

The main article for this category is Logic in computer science.

Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains:

1. Those investigations into logic that are guided by applications in computer science. For example:
2. Fundamental concepts in computer science that are naturally expressible in logical form. For example:
3. Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic. For example:
4. Tools for logicians considered as applied computer science. For example:

## Subcategories

This category has the following 16 subcategories, out of 16 total.

## Pages in category "Logic in computer science"

The following 82 pages are in this category, out of 82 total. This list may not reflect recent changes (learn more).

# Study guide

Up to date as of January 14, 2010

### From Wikiversity

This category is for articles listed under "Logic in computer science"

This category currently contains no pages or media.