quantified modal system