Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Sequence Semantics for Dynamic Predicate Logic

C. F. M. Vermeulen
Journal of Logic, Language, and Information
Vol. 2, No. 3 (Jul., 1993), pp. 217-254
Published by: Springer
Stable URL: http://www.jstor.org/stable/40180031
Page Count: 38
  • Download ($43.95)
  • Cite this Item
Sequence Semantics for Dynamic Predicate Logic
Preview not available

Abstract

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

Page Thumbnails

  • Thumbnail: Page 
[217]
    [217]
  • Thumbnail: Page 
218
    218
  • Thumbnail: Page 
219
    219
  • Thumbnail: Page 
220
    220
  • Thumbnail: Page 
221
    221
  • Thumbnail: Page 
222
    222
  • Thumbnail: Page 
223
    223
  • Thumbnail: Page 
224
    224
  • Thumbnail: Page 
225
    225
  • Thumbnail: Page 
226
    226
  • Thumbnail: Page 
227
    227
  • Thumbnail: Page 
228
    228
  • Thumbnail: Page 
229
    229
  • Thumbnail: Page 
230
    230
  • Thumbnail: Page 
231
    231
  • Thumbnail: Page 
232
    232
  • Thumbnail: Page 
233
    233
  • Thumbnail: Page 
234
    234
  • Thumbnail: Page 
235
    235
  • Thumbnail: Page 
236
    236
  • Thumbnail: Page 
237
    237
  • Thumbnail: Page 
238
    238
  • Thumbnail: Page 
239
    239
  • Thumbnail: Page 
240
    240
  • Thumbnail: Page 
241
    241
  • Thumbnail: Page 
242
    242
  • Thumbnail: Page 
243
    243
  • Thumbnail: Page 
244
    244
  • Thumbnail: Page 
245
    245
  • Thumbnail: Page 
246
    246
  • Thumbnail: Page 
247
    247
  • Thumbnail: Page 
248
    248
  • Thumbnail: Page 
249
    249
  • Thumbnail: Page 
250
    250
  • Thumbnail: Page 
251
    251
  • Thumbnail: Page 
252
    252
  • Thumbnail: Page 
253
    253
  • Thumbnail: Page 
254
    254