Modal logic

http://en.wikipedia.org/wiki/Fuzzy_logic

http://en.wikipedia.org/wiki/Modal_logic

http://en.wikipedia.org/wiki/Model_theory

http://plato.stanford.edu/entries/logic-modal/