sentential logics