New Progress in Continuation-Based Dynamic Logic
Résumé
We revisit the type-theoretic dynamic logic introduced by de Groote (2006) and developed by Lebedeva (2012). We show how a slightly richer notion of continuation allows new dynamic connectives and quan- tifiers to be defined in a systematic way.