Create `logic` namespace

[fredrik-bakke]

Create a logic namespace, and move the appropriate modules there.