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:
<li><a href="http://en.wikipedia.org/wiki/Modal_logic">Modal Logic</a></li> <li><a href="http://en.wikipedia.org/wiki/Temporal_logic">Temporal Logic</a></li><li><a href="http://en.wikipedia.org/wiki/Proof_theory">Proof Theory</a></li><li><a href="http://en.wikipedia.org/wiki/Model_theory">Model Theory</a></li><li><a href="http://en.wikipedia.org/wiki/Analytic_tableaux">Analytic Tableaux</a></li></ul>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:<ul><li><a href="http://en.wikipedia.org/wiki/Hypergraph">Hypergraph</a></li><li><a href="http://en.wikipedia.org/wiki/Multigraph">Multigraph</a></li><li><a href="http://en.wikipedia.org/wiki/Power_set">Power set</a></li><li><a href="http://en.wikipedia.org/wiki/Algebra_over_a_set">Algebra over a set</a></li></ul>More articles will be added to this list as they are uncovered.