Non Standard Logics