Abstract
This paper examines various propositional logics in which the dynamic implication connective (discussed in Groenendijk and Stokhof's (1992) Dynamic Predicate Logic and Kamp's (1981) Discourse Representation Theory) plays the central role. Our approach is modal: the basic idea is to view as a binary modal operator in a two dimensional
... read more