There is no Cabal

Hello, about whether S4 is the least model companion of IPC...

Hi,

What do you think of this https://math.stackexchange.com/a/1465533/590921

Isn't that saying that Chagrov proved that S3 is actually the least model companion of IPC?? — Preceding unsigned comment added by 24.91.149.167 (talk) 16:24, 3 June 2021 (UTC)Reply

I have no opinion on the quality of that link, but the article itself is not the place for discussion. Please comment on the article talk page instead. zchrykng (talk) 16:28, 3 June 2021 (UTC)Reply