1 paper
Sanchit Saraf, Sumit Sourabh
Characterization of successful formulas in Public Announcement Logic (PAL) is a well known open problem in Dynamic Epistemic Logic. Recently, Holliday and ICard have given a comple…