New Progress in Continuation-Based Dynamic Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

New Progress in Continuation-Based Dynamic Logic

Philippe de Groote

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.
Fichier non déposé

Dates et versions

hal-01939664 , version 1 (29-11-2018)

Identifiants

  • HAL Id : hal-01939664 , version 1

Citer

Philippe de Groote. New Progress in Continuation-Based Dynamic Logic. LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. ⟨hal-01939664⟩
88 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More