Kripke Interpretations with Infinite Domains and Worlds

Complete Examples

Sleepy Children Finite worlds, Finite domains

Rotten Fruit Finite worlds, Finite domains, with Local Axioms

Tossing Heads Finite worlds, Infinite domains

Staying Alive Infinite world, Finite domains

People Like People Infinite worlds, Infinite domains