Modalized modal sentence

A modal sen­tence \(A\) is said to be modal­ized in \(p\) if ev­ery oc­cur­rence of \(p\) hap­pens within the scope of a \(\square\).

As an ex­am­ple, \(\square p \wedge q\) is modal­ized in \(p\), but not in \(q\).

If \(A\) does not con­tain \(p\), then it is triv­ially modal­ized in \(p\).

A sen­tence which is modal­ized in ev­ery sen­tence let­ter is said to be fully modal­ized.

Be­ing modal­ized in \(p\) is a suffi­cient con­di­tion for hav­ing a fixed point on \(p\).

Parents: