In this work we present some of our investigations concerning paraconsistent, paracomplete and non-alethic systems for knowledge
representation in AI. Inconsistency and paracompleteness are natural phenomena in describing parts of our reality. Thus, we
need more generical tools, i.e., formal systems for modeling contradictory and paracomplete knowledge, and in this paper we
focus non-alethic knowledge in distributed systems.