---

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors´ contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.

---

Introduction.- Propositional Annotated Logics P.- Predicate Annotated Logics Q.- Formal Issues.- Variants and Related Systems.- Applications.- Conclusions.

---

"This book constitutes a useful tool for researchers interested in annotated logics and their application to paraconsistent and paracomplete reasoning. ... results collected from different sources are accompanied by proofs, making the book a very useful and valuable reference text for a specialized reader." (Pedro Cabalar, Mathematical Reviews, October, 2017)

---