Mind de re
The study outlines the semantics of verification and examines its interaction with de re ascriptions. Verification sentences are analysed as having a layered structure comprising two unary operators, VER and ACT, represented as VER(ACT(p)). The operator VER establishes a link to a verification event in which agent X has established the ...
