Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 273716

Prima facie consequence in update semantics for change expressions


Žarnić, Berislav,
Prima facie consequence in update semantics for change expressions // The Bulletin of Symbolic Logic, 9 (2003), 1; 111-112 (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,

Izvornik
The Bulletin of Symbolic Logic (1079-8986) 9 (2003), 1; 111-112

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, sažetak, ostalo

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:

Avatar Url Berislav Žarnić (autor)

Citiraj ovu publikaciju

Žarnić, Berislav,
Prima facie consequence in update semantics for change expressions // The Bulletin of Symbolic Logic, 9 (2003), 1; 111-112 (podatak o recenziji nije dostupan, sažetak, ostalo)
Žarnić, Berislav, (2003) Prima facie consequence in update semantics for change expressions. The Bulletin of Symbolic Logic, 9 (1), 111-112.
@article{article, year = {2003}, pages = {111-112}, keywords = {imperative logic, consequence relation, dynamic semantics}, journal = {The Bulletin of Symbolic Logic}, volume = {9}, number = {1}, issn = {1079-8986}, title = {Prima facie consequence in update semantics for change expressions}, keyword = {imperative logic, consequence relation, dynamic semantics} }
@article{article, year = {2003}, pages = {111-112}, keywords = {imperative logic, consequence relation, dynamic semantics}, journal = {The Bulletin of Symbolic Logic}, volume = {9}, number = {1}, issn = {1079-8986}, title = {Prima facie consequence in update semantics for change expressions}, keyword = {imperative logic, consequence relation, dynamic semantics} }

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • Science Citation Index Expanded (SCI-EXP)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus


Uključenost u ostale bibliografske baze podataka:


  • Mathematical Reviews
  • The Philosopher's Index





Contrast
Increase Font
Decrease Font
Dyslexic Font