Then, for everyMconstructed usingWandF Ω, for everya∈F Ω ∪ {a}, it holds thatM, w 1 ⊨a ■1pHead, but clearly M̸⊨⋆ 1pHead
1 Pith paper cite this work. Polarity classification is still indexing.
cs.LO · 2026-04-12
Showing 1 of 1 citing paper.