The following are the current most viewed articles on Wikipedia within Wikipedia's Formal semantics category. Think of it as a What's Hot list for Formal semantics. 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	Formal semantics	233
2	Formal semantics of programming languages	217
3	Semantic theory of truth	99
4	Game semantics	49
5	Proof-theoretic semantics	48
6	Truth-value semantics	8
7	Theory of Obligationes	less than 5 views

Subcategories

• Model theory
• Programming language semantics

Parent categories

• Formal languages
• Semantics