Lorand Bruhacs

From Profiles to Behaviors: What Elimination Leaves in S4

Formal elimination can remove a vocabulary without erasing the structure required to sustain its distinctions. In finite propositional S5, complete modal content collapses to an actual valuation and the valuations realized in its accessibility cluster, encouraging a flat, extensi...