Local Logic: An Overview