We study fragments of first-order logic and of least fixed point logic that allow only unary negation: negation of formulas with at most one free variable. These logics generalize many interesting known formalisms. including modal logic and the $\mu$-calculus. as well as conjunctive queries and monadic Datalog. https://www.bekindtopets.com/limited-stock-Original-U-S-Vietnam-War-Era-Operation-Igloo-White-Seismic-Sensor-Inert-Rocket-great-price/