 One way to extend classical, first-order logic is to add additional operators to the underlying formal language. Modal logic adds operators which designate necessity and possibility. So, we can say that a proposition is possibly true, or necessarily true, rather than just true.