Do any #philosophy or #logic people know of a good formal treatment of Yablo’s views on ‘immanent’ knowledge closure from his "Aboutness”? The book does not seem to entirely spell out his intended semantics for knowledge ascriptions, but I would be curious to know if others have worked this out.