Tagged auslogics