Conference Logic and Higher Structures