This journal uses a single-anonymous model of peer review. The author does not know the identity of the reviewers, but the reviewers know the identity of the author.
To appeal an editorial decision, please refer to the ASL policy at Appeals of Editorial Decisions – Association for Symbolic Logic