New Progress in Continuation-Based Dynamic Logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

New Progress in Continuation-Based Dynamic Logic

Philippe de Groote

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01939664 , version 1

Cite

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⟩
91 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More