Logical connectives for two-state semantics

In this note we define a new two-state logic, called 2neg-logic (logic with two negations) and compare its expressive power with other two-state logics, such as the logic of here-and-there, contingency logic, and bi-state logic.