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

Napredna pretraga

Pregled bibliografske jedinice broj: 331571

Dinamična logika: nastavni tekstovi


Žarnić, Berislav
Dinamična logika: nastavni tekstovi, 2007. (ostalo).


CROSBI ID: 331571 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Dinamična logika: nastavni tekstovi
(Dvnamic Logic)

Autori
Žarnić, Berislav

Izvornik
Web poslužitelj Filozofskog fakulteta u Splitu

Vrsta, podvrsta
Ostale vrste radova, ostalo

Godina
2007

Ključne riječi
modalna logika; dinamična semantika; propozicijska dinamična logika
(modal logic; dynamic semantics; propositional dynamic logic)

Sažetak
Izlažu se osnovna obilježja dinamičnog obrata u logici i opisuju se neke utjecajnije teorije i autori(Quine, AGM teorija, J. van Benthem, J. Hintikka). Mogućnost dinamičnog modeliranja ispituje se na primjeru nemonotone, "prima facie" posljedice. Daje se uvod u modalnu logiku i njezinu metateoriju. Izlaže se propozicijska dinamična logika s osloncem na pristup Kristera Segerberga.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija



POVEZANOST RADA


Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)

Ustanove:
Filozofski fakultet u Splitu

Profili:

Avatar Url Berislav Žarnić (autor)

Citiraj ovu publikaciju:

Žarnić, Berislav
Dinamična logika: nastavni tekstovi, 2007. (ostalo).
Žarnić, B. (2007) Dinamična logika: nastavni tekstovi. Web poslužitelj Filozofskog fakulteta u Splitu. Ostalo.
@unknown{unknown, author = {\v{Z}arni\'{c}, Berislav}, year = {2007}, keywords = {modalna logika, dinami\v{c}na semantika, propozicijska dinami\v{c}na logika}, title = {Dinami\v{c}na logika: nastavni tekstovi}, keyword = {modalna logika, dinami\v{c}na semantika, propozicijska dinami\v{c}na logika} }
@unknown{unknown, author = {\v{Z}arni\'{c}, Berislav}, year = {2007}, keywords = {modal logic, dynamic semantics, propositional dynamic logic}, title = {Dvnamic Logic}, keyword = {modal logic, dynamic semantics, propositional dynamic logic} }




Contrast
Increase Font
Decrease Font
Dyslexic Font