Pregled bibliografske jedinice broj: 273716
Prima facie consequence in update semantics for change expressions
Prima facie consequence in update semantics for change expressions // European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '02 / Bulletin of Symbolic Logic, 9(1) / Cummings, James (ur.).
Münster, Njemačka: Association for Symbolic Logic, 2003. str. 111-112 (poster, podatak o recenziji nije dostupan, sažetak, ostalo)
CROSBI ID: 273716 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, ostalo
Izvornik
European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '02 / Bulletin of Symbolic Logic, 9(1)
/ Cummings, James - : Association for Symbolic Logic, 2003, 111-112
Skup
Logic Colloquium 2002 - European Summer Meeting of the Association for Symbolic Logic
Mjesto i datum
Münster, Njemačka, 03.08.2002. - 09.08.2002
Vrsta sudjelovanja
Poster
Vrsta recenzije
Podatak o recenziji nije dostupan
Ključne riječi
imperative logic ; consequence relation ; dynamic semantics
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
Napomena
Tekst je sažetak izlaganja na Logic Colloquium 2002 -
ASL European Summer Meeting, Münster, Njemačka, 3-
9.08.2003.
POVEZANOST RADA
Projekti:
0191009
Ustanove:
Institut za filozofiju, Zagreb,
Filozofski fakultet u Splitu
Profili:
Berislav Žarnić
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
