Extended Logic