 PAL Complexity. Let \(\sC\) be the class of all Kripke models. Let \(\sC_{\mathsf{S5}}\) be the class of Kripke models such that each binary accessibility relation is reflexive, transitive, and symmetric.