Categories: Mathematical logic
In mathematics, a monadic logic is one that employs only unary relations.