Lucid Logics