Introduction to Annotated Logics