You are here

Propositional axioms for WaterWorld

26 July, 2019 - 12:03
Available under Creative Commons-ShareAlike 4.0 International License. Download for free at

We summarize the details of how we choose to model WaterWorld boards in propositional logic: exactly what propositions we make up, and the formal domain axioms which capture the game's rules.

The board is fxed at 6×4, named A,...,Z (with I and O omitted).

Figure 6.1 A Sample WaterWorld board