Logical System default ◊ S5 world, k, must be new [here the computer will choose for you] □ S5 any world, stage 1, your choice □ S5 any world, stage 2, w chosen Book traversal links for Review of Additional S5 Propositional Rules ‹ Tree Tutorial 8 Modal Trees Up Review of K Propositional Rules ›