{"paperId": "c525f98a63e9c3a8781422d2eecfedbae99d8c84", "title": "Intuitionistic Dynamic Logic"}