Annotated Logics are a category of non-classical logics that have recently appeared from a historical point of view. They are a type of paraconsistent, paracomplete and non-alethic logic. With the rapid development of AI and Automation and Robotics, more and more theory and techniques were coined to support the various issues that the themes were presenting |