Does the law of excluded middle (p or -p is provable) hold in modal logic?
I would personally say yes, for from an algebraic logic point of view, modal logic is modelled via e.g. closure algebras (which are Boolean algebras), and the join of p and -p equals the unit in every Boolean algebra. But, I would like a confirmation (or refutation) from a logician/philosopher. Thanks in advance.