Logical techniques for international law