engleski

Prima facie consequence in update semantics for change expressions

A variant of the notion of prima facie consequence relation for Lemmon style imperative logic is developed within the framework of eliminative update semantics. It is established that prima facie consequence relation can be explicated using three notions: the notion of non-eliminative sentence, the notion of incomplete premises, and the notion of consequence relation defined over the minimal context.

imperative logic; consequence relation; dynamic semantics

nije evidentirano