ИСТИНА

This contribution zeroes in providing a formal tool for modelling reasoning with public announcements. First, I briefly delineate the idea of a new approach to public announcement interpretation via enthymematic implication. Starting out from a reduced version offamous Muddy Children example I distinguish different cases representing reasoning with public announcements. Finally, a systemPADME (that is Public Announcements Dialogue Modelling Engine) is introduced as a kind of Fitch-style natural deduction derivation allowing to construct ‘completely Merandized’ dialogue as a sequence of public announcements on the ground of supplementary subordinate derivations.