Naslov
Clusters and modes of presentation

Autori
Kovač, Srećko

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Handbook of the First World Congress and School on Universal Logic / Béziau, Jean-Yves ; Costa-Leite, Alexandre - , 2005, 74-74

Skup
1st World Congress on Universal Logic

Mjesto i datum
Montreux, Švicarska, 31.03.2005. - 03.04.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
cluster; mode of presentation; inconsistency; belief; obligation; time

Sažetak
Cluster semantics as used in the local reasoning approach (Fagin and Halpern) proves to be a promising tool for handling inconsistencies and indeterminacies in a variety of modal logics. We attempt to generalize the cluster semantics method, and combine it with a "mode of presentation" function (a variant of which is introduced by Ye and Fitting) for presenting objects in various respects. In the logic of belief, a weak sense of belief is defined, and the resulting inconsistencies (plausible for de re beliefs) can be remedied using modes of representation to model consistent de dicto beliefs. Clusters-and-modes semantics is also applicable in deontic logic, where it makes it possible to model de re inconsistent obligations. Cluster semantics has also an interesting application in temporal logic, increasing the indeterminacy of future moments of linear time.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

Napomena
Dorađena je verzija, kao i još neki radovi sa skupa, objavljena kao poglavlje u knjizi "Perspectives on Universal Logic", Monza, 2007.

POVEZANOST RADA