Classical semantics is usually adopted in mathematical logics.