An update semantics for dynamic predicate logic
type: ProductModel
type: CreativeWork
type: Book
issued: 1992
about: p075621606
about: p075614111
author: p075387069
author: p075262517
language: en
is part of: p053049217
main entity of page: https://data.bibliotheken.nl/.well-known/genid/c98c2a49fb30deaaad8b334a9d3e415c
number of pages: 20
label: An update semantics for dynamic predicate logic / Paul Dekker