TL;DR
This paper attempts to prove that quasi-dense logics have the finite model property but reveals a fundamental flaw in the proof that cannot be corrected.
Contribution
It critically examines a proposed proof for the finite model property in quasi-dense logics and identifies an unfixable flaw.
Findings
The initial proof for FMP in QD logics is flawed.
The flaw is fundamental and unfixable.
The paper clarifies the limitations of the current proof approach.
Abstract
This paper initially aimed at proposing a proof that quasi-dense logics have f.m.p, but it contains a major flaw, unfixable.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.