 (The metalinguistic symbol ‘\(\Leftrightarrow\)’ means “if and only if.”) A logic adequate to this semantics may be axiomatized by making three changes to the axioms of PFL. The first is to add the axiom: