Prima facie consequence in update semantics for change expressions (CROSBI ID 522926)
Prilog sa skupa u časopisu | sažetak izlaganja sa skupa
Podaci o odgovornosti
Žarnić, Berislav
engleski
Prima facie consequence in update semantics for change expressions
In a talk at Logic Colloquium 2002, variant of the notion of prima facie consequence relation for Lemmon style imperative logic is developed within the framework of eliminative update semantics.
imperative logic ; consequence relation ; dynamic semantics
Tekst je sažetak izlaganja na Logic Colloquium 2002 - ASL European Summer Meeting, Münster, Njemačka, 3- 9.08.2003.
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
111-112.
2003.
nije evidentirano
objavljeno
Podaci o matičnoj publikaciji
Bulletin of symbolic logic
Cummings, James
Association for Symbolic Logic
1079-8986
1943-5894
Podaci o skupu
Nepoznat skup
poster
29.02.1904-29.02.2096