Peer review timeline in logic journals?

r/

I’ve submitted a manuscript in a logic journal in April. It took about two months for reviewers to get assigned, and it’s been in peer review since. There is, however, an issue with the manuscript. One of the theorems has an oversight that makes the conclusion invalid. It can be made valid but requires a slightly different setup for the proof to work, which I’ve fixed. I’ve notified the editor that the manuscript contains that error, and I was basically told to wait for the reviews to come in and fix it then. The editor said that even if the review came out negative, I’d be welcome to resubmit it with the fixed proof.

However, due to a series of bad decisions, my job might depend on this being published. And I don’t really know what the timelines are like for logic journals. When can I realistically expect to get the first comments from the reviewers? And assuming they allow making edits, does the second round of review take as long as the first one? Is it realistic thinking that I’ll have an answer to whether it will be published or not by the end of the year? And should I refrain from asking the editor to nudge the reviewer a wee bit? 👉👈