World Cup | FIFA World Cup | World Trade Center | World Series | 2010 FIFA World Cup | World Bank | World Health Organization | Guinness World Records | 1978 FIFA World Cup | World Series of Poker | Allies of World War II | BBC World Service | ATP World Tour 250 series | World Heritage Site | World Boxing Association | World Boxing Council | 2006 FIFA World Cup | World Wide Web | As the World Turns | World Trade Organization | ATP World Tour 250 Series | World Rally Championship | World Intellectual Property Organization | World Economic Forum | Western world | Miss World | Rugby World Cup | World Meteorological Organization | World Championship | The Real World |
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal.