👩💻 Join our community of thousands of amazing developers!
The previous post pointed out the analogy between models for modal logic (i.e. Kripke semantics) and science fiction. Rules for relationships between points in a Kripke model are analogous to rules for interplanetary travel in a fictional universe. This post will expand on this last point. The following cube shows the relationships between eight different […] The post Modal axioms and rules for interplanetary travel first appeared on John D. Cook....