A Logical Viewpoint on Architectures