An Adequate Logic for Full LOTOS