Negation in event semantics with actual and nonactual events

The goal of this work is to provide a formal account of negation in a Davidsonian framework that (i) makes negative events available for the analysis of various constructions that are otherwise problematic (such as negative naked infinitives or adverbial modification) and (ii) exhibits reasonable logical properties. This is done by first distinguishing between actual and non-actual events and then introducing a Neg function sending any event-predicate P to the not-P event and obeying a single axiom.