1

We give a strategy to construct modal theories where the modal notion is conceived as a predicate. In this paper we obtain Modal Friedman-Sheard.

The second in a two-part investigation, here we apply a general strategy for constructing modal theories over axiomatic theories of truth to the theory Kripke-Feferman.

In the present piece we defend predicate approaches to modality, that is approaches that conceive of modal notions as predicates applicable to names of sentences or propositions, against the challenges raised by Montague’s theorem.