Modal Logic Wikipedia Articles

I've been poking at Wikipedia again (I dislike free time) and decided that a list of articles relevant to modal logic might be useful. To that end, I present a partial list of Wikipedia articles:

Kripke Semantics
Modal Logic
Temporal Logic
Proof Theory
Model Theory
Analytic Tableaux

In addition to the articles above (which aren't really directly relevent to my work), there are a number of articles that I've found useful in trying to puzzle my way through things. A partial list of these useful articles is:

Hypergraph
Multigraph
Power set
Algebra over a set

More articles will be added to this list as they are uncovered.

Thomas Sutton 31 August 2005