Pregled bibliografske jedinice broj: 274406
Prima facie consequence in update semantics for change expressions
Prima facie consequence in update semantics for change expressions // Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet / Organizing Commitees (ur.).
Münster: Westfällische Wilhelms-Universität, 2002. str. 59-60 (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 274406 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Prima facie consequence in update semantics for change expressions
Autori
Žarnić, Berislav
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet
/ Organizing Commitees - Münster : Westfällische Wilhelms-Universität, 2002, 59-60
Skup
Logic Colloquium 2002 - ASL European Summer Meeting
Mjesto i datum
Münster, Njemačka, 03.08.2002. - 09.08.2002
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
imperative logic; consequence relation; dynamic semantics
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
POVEZANOST RADA
