## Kripke and Possible World Semantics

From: "andrew cooke" <andrew@...>

Date: Tue, 24 Jan 2006 22:35:40 -0300 (CLST)

A couple of interestng Wikipedia pages:
- http://en.wikipedia.org/wiki/Kripke_semantics
- http://en.wikipedia.org/wiki/Possible_world_semantics

Related to those - Modal Logic -
http://plato.stanford.edu/entries/logic-modal/

Also, something obvious I should have checked at the Encylopedia of
Philosophy - http://plato.stanford.edu/entries/logic-intuitionistic/ -
which has the axioms and rules of inference in a form much clearer than
TTFP.

Andrew