论文信息 - Prolegomena to the definition of dynamic predicate logic with local assignments

Prolegomena to the definition of dynamic predicate logic with local assignments

In this paper we subject the possible ways to define versions of DPL with local assignments to a thorough and detailed scrutiny. We hope that our treatment is suggestive of the proper 'abstract' view of dynamic logics that we would like to arrive at eventually.

A. Visser

[1] László Pólos,et al. Applied Logic: How, What and Why , 1995 .

[2] Cees Vermeulen. Update Semantics for Propositional Texts , 1995 .

[3] C. F. M. Vermeulen. Incremental Semantics for Propositional Texts , 1994, Notre Dame J. Formal Log..

[4] Jeroen Groenendijk,et al. Dynamic predicate logic , 1991 .

[5] Marco Hollenberg. An Equational Axiomatization of Dynamic Negation and Relational Composition , 1997, J. Log. Lang. Inf..

[6] M. H. van den Berg,et al. The Internal Structure of Discourse , 1996 .

[7] Kit Fine,et al. Reasoning with arbitrary objects , 1988 .

[8] Emiel Krahmer,et al. A Programme of Modal Uniication of Dynamic Theories 0 , 1995 .

[9] Marco Hollenberg,et al. Counting Variables in a Dynamic Setting , 1996, J. Log. Comput..

[10] C. F. M. Vermeulen,et al. Merging without mystery or: Variables in dynamics semantics , 1991, J. Philos. Log..

[11] Albert Visser,et al. Dynamic Bracketing and Discourse Representation , 1996, Notre Dame J. Formal Log..

[12] J. Groenendijk,et al. Coreference and modality , 1996 .

[13] C. F. M. Vermeulen,et al. Sequence semantics for dynamic predicate logic , 1993, J. Log. Lang. Inf..

[14] Albert Visser. Dynamic Relation Logic Is the Logic of DPL-Relations , 1997, J. Log. Lang. Inf..

[15] Paul Dekker,et al. Transsentential meditations : ups and downs in dynamic semantics , 1993 .