EntityQ851949· pop 8open-world assumptionSign in to saveformal-logic assumption that the truth-value of a statement is independent of whether it is known by any single observer or agent to be trueConnectionsclosed-world assumptionEntityCategoriesPrintworthy redirects